Formal Analysis for Real-Time Scheduling
19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA
2000-01-01
1D4
IEEE cat nos 00CH37126
Conference paper
English
digital avionics systems , IEEE , DASC , AIAA , aeronautics , astronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal analysis for real-time scheduling
Tema Archive | 2000
|Formal analysis for real-time scheduling
IEEE | 2000
|Automated Hard Real-Time Scheduling
British Library Conference Proceedings | 1995
|Real-time adaptive aircraft scheduling
NTRS | 1990
|