Login
- Titel:
Model-Based Analysis and Development of Dependable Systems
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Buckl, Christian; Knoll, Alois; Schieferdecker, Ina; Zander, Justyna
- Seitenangaben Beitrag:
- 271-293
- Herausgeber:
- Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard
- Buchtitel:
- Model-Based Engineering of Embedded Real-Time Systems
- Verlag / Institution:
- Springer
- Verlagsort:
- Heidelberg, Germany
- Jahr:
- 2010
- Monat:
- Jan
- Print-ISBN:
- 978-3-642-16276-3
- Serientitel:
- LNCS
- Serien-ISSN:
- 0302-9743
- Serienbandnummer:
- 6100
- DOI:
- doi:10.1007/978-3-642-16277-0_10
BibTeX