Formalized Pilot Study of SafetyCritical Software Anomalies California

Dr. Robyn Lutz and Carmen Mikulski ... NASA Code Q Software Program Center Initiative UPN 323-08; Kenneth McGill, Research Lead OSMA Software Assurance Symposium Sept 5-7, 2001 ... Next generation of LIM (Laser Intensity Monitor) will be corrected, not to...

Uploaded by: Murkka Svensdottir
Filesize: 283 KB