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
01.01.2000
4 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Avionics software support cost model
Tema Archiv | 1983
|Avionics Software Support Cost Model
NTIS | 1983
Towards Scalable Verification of Commercial Avionics Software
British Library Conference Proceedings | 2010
|