Rajeev Alur, Gera Weiss. Regular Specifications of Resource Requirements for Embedded Control Software. In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA. pages 159-168, IEEE Computer Society, 2008. [doi]
@inproceedings{AlurW08:0,
title = {Regular Specifications of Resource Requirements for Embedded Control Software},
author = {Rajeev Alur and Gera Weiss},
year = {2008},
doi = {10.1109/RTAS.2008.13},
url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.13},
tags = {embedded software},
researchr = {https://researchr.org/publication/AlurW08%3A0},
cites = {0},
citedby = {0},
pages = {159-168},
booktitle = {Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3146-5},
}