Mateus Krepsky Ludwich, Antônio Augusto Fröhlich. System-Level Verification of Embedded Operating Systems Components. In 2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012. pages 161-165, IEEE, 2012. [doi]
@inproceedings{LudwichF12,
title = {System-Level Verification of Embedded Operating Systems Components},
author = {Mateus Krepsky Ludwich and Antônio Augusto Fröhlich},
year = {2012},
doi = {10.1109/SBESC.2012.39},
url = {http://dx.doi.org/10.1109/SBESC.2012.39},
researchr = {https://researchr.org/publication/LudwichF12},
cites = {0},
citedby = {0},
pages = {161-165},
booktitle = {2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012},
publisher = {IEEE},
isbn = {978-1-4673-5747-0},
}