1. Defense Acquisition Innovation Repository
  2. Defense Acquisition Innovation Repository hosted at the Naval Postgraduate School
  3. Annual Acquisition Research Symposium Proceedings & Presentations
Please use this identifier to cite or link to this item: https://dair.nps.edu/handle/123456789/1259
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDaniel Smullen
dc.date.accessioned2020-03-16T17:51:19Z-
dc.date.available2020-03-16T17:51:19Z-
dc.date.issued2015-05-14
dc.identifier.citationPublished--Unlimited Distribution
dc.identifier.urihttps://dair.nps.edu/handle/123456789/1259-
dc.descriptionAcquisition Management / Defense Acquisition Community Contributor
dc.description.abstractPromoting Secure & Timely Development & Sustainment in Weapons Systems Procurement
dc.description.sponsorshipAcquisition Research Program
dc.languageEnglish (United States)
dc.publisherAcquisition Research Program
dc.relation.ispartofseriesWeapons Systems Procurement
dc.relation.ispartofseriesSYM-AM-15-054
dc.subjectAnalysis
dc.titleTowards Rapid Re-Certification Using Formal Analysis
dc.typePresentation
Appears in Collections:Annual Acquisition Research Symposium Proceedings & Presentations

Files in This Item:
File SizeFormat 
SYM-AM-15-054.pdf3.37 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.