Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander. Model-Based Analysis and Development of Dependable Systems. In Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, editors, Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Volume 6100 of Lecture Notes in Computer Science, pages 271-293, Springer, 2007. [doi]
@inproceedings{BucklKSZ07,
title = {Model-Based Analysis and Development of Dependable Systems},
author = {Christian Buckl and Alois Knoll and Ina Schieferdecker and Justyna Zander},
year = {2007},
doi = {10.1007/978-3-642-16277-0_10},
url = {http://dx.doi.org/10.1007/978-3-642-16277-0_10},
researchr = {https://researchr.org/publication/BucklKSZ07},
cites = {0},
citedby = {0},
pages = {271-293},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers},
editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz},
volume = {6100},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16276-3},
}