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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification, and Validation
Editors	Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
Publisher	Springer
Pages	76-90
Volume	336
ISBN (Print)	978-3-642-34780-1
Publication status	Published - 2012

Name	Communications in Computer and Information Science
Publisher	Springer

Fields of Expertise

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 proceeding › Chapter

@inbook{148b0ba37eef4882984b50800680ce00,

title = "Adaptive Autonomous Systems – From the System{\textquoteright}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 -