Adaptive Autonomous Systems – From the System’s Architecture to Testing

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

LanguageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation
EditorsReiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
PublisherSpringer
Pages76-90
Volume336
ISBN (Print)978-3-642-34780-1
StatusPublished - 2012

Publication series

NameCommunications in Computer and Information Science
PublisherSpringer

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Theoretical

Cite this

Wotawa, F. (2012). Adaptive Autonomous Systems – From the System’s Architecture to Testing. In R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification, and Validation (Vol. 336, pp. 76-90). (Communications in Computer and Information Science). Springer.

Adaptive Autonomous Systems – From the System’s Architecture to Testing. / Wotawa, Franz.

Leveraging Applications of Formal Methods, Verification, and Validation. ed. / Reiner Hähnle; Jens Knoop; Tiziana Margaria; Dietmar Schreiner; Bernhard Steffen. Vol. 336 Springer, 2012. p. 76-90 (Communications in Computer and Information Science).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Wotawa, F 2012, Adaptive Autonomous Systems – From the System’s Architecture to Testing. in R Hähnle, J Knoop, T Margaria, D Schreiner & B Steffen (eds), Leveraging Applications of Formal Methods, Verification, and Validation. vol. 336, Communications in Computer and Information Science, Springer, pp. 76-90.
Wotawa F. Adaptive Autonomous Systems – From the System’s Architecture to Testing. In Hähnle R, Knoop J, Margaria T, Schreiner D, Steffen B, editors, Leveraging Applications of Formal Methods, Verification, and Validation. Vol. 336. Springer. 2012. p. 76-90. (Communications in Computer and Information Science).
Wotawa, Franz. / Adaptive Autonomous Systems – From the System’s Architecture to Testing. Leveraging Applications of Formal Methods, Verification, and Validation. editor / Reiner Hähnle ; Jens Knoop ; Tiziana Margaria ; Dietmar Schreiner ; Bernhard Steffen. Vol. 336 Springer, 2012. pp. 76-90 (Communications in Computer and Information Science).
@inbook{148b0ba37eef4882984b50800680ce00,
title = "Adaptive Autonomous Systems – From the System’s Architecture to Testing",
author = "Franz Wotawa",
year = "2012",
language = "English",
isbn = "978-3-642-34780-1",
volume = "336",
series = "Communications in Computer and Information Science",
publisher = "Springer",
pages = "76--90",
editor = "Reiner H{\"a}hnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification, and Validation",

}

TY - CHAP

T1 - Adaptive Autonomous Systems – From the System’s Architecture to Testing

AU - Wotawa, Franz

PY - 2012

Y1 - 2012

M3 - Chapter

SN - 978-3-642-34780-1

VL - 336

T3 - Communications in Computer and Information Science

SP - 76

EP - 90

BT - Leveraging Applications of Formal Methods, Verification, and Validation

A2 - Hähnle, Reiner

A2 - Knoop, Jens

A2 - Margaria, Tiziana

A2 - Schreiner, Dietmar

A2 - Steffen, Bernhard

PB - Springer

ER -