An Ada95 Solution for Certification of Embedded Safety Critical Applications

Jacob Frost. An Ada95 Solution for Certification of Embedded Safety Critical Applications. In Michael González Harbour, Juan Antonio de la Puente, editors, Reliable Software Technologies - Ada-Europe 99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Volume 1622 of Lecture Notes in Computer Science, pages 52-63, Springer, 1999. [doi]

Authors

Jacob Frost

This author has not been identified. Look up 'Jacob Frost' in Google