Extension of Static Verification Techniques by Semantic Analysis
24th, Digital avionics systems conference ; 2005 ; Washington, DC
2005-01-01
10E2
Theme title: "Avionics in a changing marketplace: safe and secure?". Also known as the 24th DASC. IEEE cat no.: 05CH37708
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification of Flag Usage Patterns by Static Analysis Techniques
British Library Conference Proceedings | 2014
|Verification of Flag Usage Patterns by Static Analysis Techniques
SAE Technical Papers | 2014
|Static Verification of Spacecraft Procedures
British Library Conference Proceedings | 2009
|Static Verification of Spacecraft Procedures
AIAA | 2009
|