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
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Precise and scalable static program analysis of NASA flight software
Tema Archive | 2005
|NASA/GSFC's Flight Software Core Flight System
NTIS | 2012
|