Januar 2011Model-Based Analysis and Development of Dependable SystemsChristian Buckl, Alois Knoll, Ina Schieferdecker und Justyna Zander
In
Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol. 6000,
Springer.
DetailsURLDOIBIB
