Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Reno, NV, USA, June 10-12, 2014. pages 374-383, IEEE, 2014. [doi]
@inproceedings{SudhakarZR14,
title = {Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System},
author = {Krishna Sudhakar and Yuhong Zhao and Franz-Josef Rammig},
year = {2014},
doi = {10.1109/ISORC.2014.21},
url = {http://dx.doi.org/10.1109/ISORC.2014.21},
researchr = {https://researchr.org/publication/SudhakarZR14},
cites = {0},
citedby = {0},
pages = {374-383},
booktitle = {2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Reno, NV, USA, June 10-12, 2014},
publisher = {IEEE},
}