Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile
Conference, Proceedings of the DASIA 2005 conference: data systems in aerospace ; 2005 ; Edinburgh
2005-01-01
P27
Held on CD-ROM. Shelved in Conference Index. Title from title screen.
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Prototyping the Ravenscar Profile for the Beagle2 Mars Lander
British Library Conference Proceedings | 2000
|A Hardware Implementation of a Ravenscar-Compliant Run-Time Kernel
British Library Conference Proceedings | 2003
|Assuring NASA's Safety and Mission Critical Software
NTIS | 2015
|