[IEEE 2012 Brazilian Symposium on Computing System Engineering (SBESC) - Natal, Brazil (2012.11.5-2012.11.7)] 2012 Brazilian Symposium on Computing System Engineering - Early Verification of Embedded Systems: Testing Automation for UML Models
Wehrmeister, Marco A., Ceron, Luis M., Silva, Johnny L. daYear:
2012
Language:
english
DOI:
10.1109/sbesc.2012.31
File:
PDF, 751 KB
english, 2012