[IEEE 2012 Brazilian Symposium on Computing System Engineering (SBESC) - Natal, Brazil (2012.11.5-2012.11.7)] 2012 Brazilian Symposium on Computing System Engineering - System-Level Verification of Embedded Operating Systems Components
Ludwich, Mateus Krepsky, Frohlich, Antonio AugustoYear:
2012
Language:
english
DOI:
10.1109/sbesc.2012.39
File:
PDF, 271 KB
english, 2012