Jacques Brygier, Marc Richard-Foy. Certification of Ada Real-Time Executives for Safety Critical Applications. In Michel Gauthier, editor, Ada-Europe 93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings. Volume 688 of Lecture Notes in Computer Science, pages 264-279, Springer, 1993.
@inproceedings{BrygierR93,
title = {Certification of Ada Real-Time Executives for Safety Critical Applications},
author = {Jacques Brygier and Marc Richard-Foy},
year = {1993},
tags = {certification},
researchr = {https://researchr.org/publication/BrygierR93},
cites = {0},
citedby = {0},
pages = {264-279},
booktitle = {Ada-Europe 93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings},
editor = {Michel Gauthier},
volume = {688},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56802-6},
}