Manuel RodrÃguez, Jean-Charles Fabre, Jean Arlat. Formal Specification for Building Robust Real-time Microkernels. In Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000. pages 119, IEEE Computer Society, 2000. [doi]
@inproceedings{RodriguezFA00,
title = {Formal Specification for Building Robust Real-time Microkernels},
author = {Manuel RodrÃguez and Jean-Charles Fabre and Jean Arlat},
year = {2000},
doi = {10.1109/REAL.2000.896002},
url = {http://doi.ieeecomputersociety.org/10.1109/REAL.2000.896002},
researchr = {https://researchr.org/publication/RodriguezFA00},
cites = {0},
citedby = {0},
pages = {119},
booktitle = {Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000},
publisher = {IEEE Computer Society},
isbn = {0-7695-0900-2},
}