Miguel Felder, Carlo Ghezzi, Mauro Pezzè. Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 187-211, Springer, 1992. [doi]
@inproceedings{FelderGP92,
title = {Formal Specification and Timing Analysis of High-Integrity Real-Time Systems},
author = {Miguel Felder and Carlo Ghezzi and Mauro Pezzè},
year = {1992},
doi = {10.1007/978-3-642-88049-0_10},
url = {https://doi.org/10.1007/978-3-642-88049-0_10},
researchr = {https://researchr.org/publication/FelderGP92},
cites = {0},
citedby = {0},
pages = {187-211},
booktitle = {Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992},
editor = {Wolfgang A. Halang and Alexander D. Stoyenko},
volume = {127},
series = {NATO ASI Series},
publisher = {Springer},
isbn = {978-3-642-88049-0},
}