Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller
Assertion-based verification of RTOS properties
DATE, 2010.
@inproceedings{DATE-2010-OliveiraZ0,
author = "Marcio F. da S. Oliveira and Henning Zabel and Wolfgang Müller",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "630--633",
publisher = "{IEEE}",
title = "{Assertion-based verification of RTOS properties}",
year = 2010,
}