Analysis of Real-Time Code by Model Checking
19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA
2000-01-01
1D5
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.
Analysis of real-time code by model checking
IEEE | 2000
|Logic Model Checking of Time-Periodic Real-Time Systems
NTRS | 2012
|Logic Model Checking of Time-Periodic Real-Time Systems
AIAA | 2012
|