![](/img/cover-not-exists.png)
[IEEE 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Tallinn, Estonia (2012.04.18-2012.04.20)] 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - On the use of assertions for embedded-software dynamic verification
Di Guglielmo, Giuseppe, Di Guglielmo, Luigi, Fummi, Franco, Pravadelli, GrazianoYear:
2012
Language:
english
DOI:
10.1109/ddecs.2012.6219083
File:
PDF, 256 KB
english, 2012