[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 - Automatic verification of control system implementations

Anta, Adolfo, Majumdar, Rupak, Saha, Indranil, Tabuada, Paulo
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.1879024
File:
PDF, 532 KB
english, 2010
Conversion to is in progress
Conversion to is failed