Space Software Validation Using Abstract Interpretation
Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey
2009-01-01
40 pages
Held in e-store (RMS); Held on CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
British Library Conference Proceedings | 2016
|Static Analysis and Verification of Aerospace Software by Abstract Interpretation
British Library Conference Proceedings | 2010
|British Library Conference Proceedings | 2000
|