A Hardware Implementation of a Ravenscar-Compliant Run-Time Kernel
22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN
2003-01-01
3A3
IEEE cat nos 03CH37449
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
|Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile
British Library Conference Proceedings | 2005
|A CCA-compliant Nuclear Power Plant Simulator Kernel
British Library Conference Proceedings | 2005
|Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel
Tema Archiv | 2005
|