![](/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 - Automatic verification of control system implementations
Anta, Adolfo, Majumdar, Rupak, Saha, Indranil, Tabuada, PauloYear:
2010
Language:
english
DOI:
10.1145/1879021.1879024
File:
PDF, 532 KB
english, 2010