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, }