Improving Avionics Software Verification Cost-Effectiveness Abstract-Interpretation-Based Technology Contribution
Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada
2000-01-01
4 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Avionics software support cost model
Tema Archive | 1983
|Towards Scalable Verification of Commercial Avionics Software
British Library Conference Proceedings | 2010
|AIAA | 1964
|