[ACM Press the tenth ACM international conference -...

  • Main
  • [ACM Press the tenth ACM international...

[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, Jan
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2010
Language:
english
DOI:
10.1145/1879021.1879062
File:
PDF, 433 KB
english, 2010
Conversion to is in progress
Conversion to is failed