Treffer: Software verification tools assessment study
Title:
Software verification tools assessment study
Publisher Information:
Washington, D.C. : [Springfield, Va.] : Office of Aviation Research and Development, Federal Aviation Administration ; [Available through the National Technical Information Service], [2007]
Added Details:
Santhanam, Viswa.
United States. Federal Aviation Administration. Office of Aviation Research and Development.
Langley Research Center.
United States. Federal Aviation Administration. Office of Aviation Research and Development.
Langley Research Center.
Call Numbers:
TA1007 .U5 no. 2007-23
Physical Description:
viii, 44, [88] pages : digital, PDF file
Subjects:
URL:
Note:
Title from PDF title screen.
"June 2007."
"DOT/FAA/AR-06/54."
"PB2007-112091."
Includes bibliographical references (pages 42-44).
Also available online.
Electronic reproduction. Springfield, Va. : National Technical Information Service, 2007. contained on CD-ROM (4 3/4 in.).
Performed by NASA Langley Research Center for FAA Office of Aviation Research and Development under contract no. DTFA03-96-X-90001, NAS1-00106 task order 1008.
"June 2007."
"DOT/FAA/AR-06/54."
"PB2007-112091."
Includes bibliographical references (pages 42-44).
Also available online.
Electronic reproduction. Springfield, Va. : National Technical Information Service, 2007. contained on CD-ROM (4 3/4 in.).
Performed by NASA Langley Research Center for FAA Office of Aviation Research and Development under contract no. DTFA03-96-X-90001, NAS1-00106 task order 1008.
Other Numbers:
CBT
182560782
United States
182560782
United States
Contributing Source:
From OAIster®, provided by the OCLC Cooperative.
Accession Number:
edsoai.ocn182560782
Database:
OAIster