Using Model Checking for Verification of Partitioning Properties in Integrated Modular Avionics
19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA
2000-01-01
1D2
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.
IEEE | 1992
|