Model-Based Analysis and Development of Dependable Systems

Christian Buckl , Alois Knoll , Ina Schieferdecker und Justyna Zander

Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000,

Januar 2011 · DOI: 10.1007/978-3-642-16277-0_10

Url: Buckl2011b.pdf