01500nam 2200457I 450 991070573800332120170628074020.0(CKB)5470000002453028(OCoLC)992118912(EXLCZ)99547000000245302820170628j201702 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierFormal methods tool qualification /Lucas G. Wagner [and four others]Hampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,February 2017.1 online resource (40 pages) color illustrationsNASA/CR ;2017-219371"February 2017.""Performing organization: NASA Langley Research Center"--Report documentation page."Includes bibliographical references (pages 38-40).AvionicsnasatDigital systemsnasatCertificationnasatIdentifyingnasatQualificationsnasatAvionics.Digital systems.Certification.Identifying.Qualifications.Wagner Lucas G.1403064Langley Research Center,GPOGPOBOOK9910705738003321Formal methods tool qualification3474840UNINA