Safety Aspects of the Ariane 5 On-Board Software

Steven A. Birnie. Safety Aspects of the Ariane 5 On-Board Software. In Marcel Toussaint, editor, Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Volume 887 of Lecture Notes in Computer Science, pages 302-321, Springer, 1994.

Abstract

Abstract is missing.