Precise and Scalable Static Program Analysis of NASA Flight Software
IEEE aerospace conference ; 2005 ; Big Sky, MT
2005-01-01
10 pages
IEEE cat no 05TH8788
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Precise and scalable static program analysis of NASA flight software
Tema Archiv | 2005
|NASA/GSFC's Flight Software Core Flight System
NTIS | 2012
|