Iulian Ober, Nicolas Halbwachs
On the Timed Automata-Based Verification of Ravenscar Systems
AdaEurope, 2008.
@inproceedings{AdaEurope-2008-OberH,
author = "Iulian Ober and Nicolas Halbwachs",
booktitle = "{Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/978-3-540-68624-8_3",
isbn = "978-3-540-68621-7",
pages = "30--43",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Timed Automata-Based Verification of Ravenscar Systems}",
volume = 5026,
year = 2008,
}