- 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