![](/img/cover-not-exists.png)
[ACM Press the tenth ACM international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '10 - Quantitative system validation in model driven design
Hermanns, Holger, Larsen, Kim Guldstrand, Raskin, Jean-François, Tretmans, JanYear:
2010
Language:
english
DOI:
10.1145/1879021.1879062
File:
PDF, 433 KB
english, 2010