Model-Based Analysis and Development of Dependable Systems

Title:: Model-Based Analysis and Development of Dependable Systems
Document type:: Buchbeitrag
Author(s):: Buckl, Christian; Knoll, Alois; Schieferdecker, Ina; Zander, Justyna
Pages contribution:: 271-293
Editor:: Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard
Book title:: Model-Based Engineering of Embedded Real-Time Systems
Publisher:: Springer
Publisher address:: Heidelberg, Germany
Year:: 2010
Month:: Jan
Print-ISBN:: 978-3-642-16276-3
Bookseries title:: LNCS
Bookseries ISSN:: 0302-9743
Bookseries volume:: 6100
DOI:: doi:10.1007/978-3-642-16277-0_10
BibTeX

Occurrences: