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
Title: Towards Rapid Re-Certification Using Formal Analysis
Authors: Daniel Smullen
Keywords: Analysis
Issue Date: 14-May-2015
Publisher: Acquisition Research Program
Citation: Published--Unlimited Distribution
Series/Report no.: Weapons Systems Procurement
SYM-AM-15-054
Abstract: Promoting Secure & Timely Development & Sustainment in Weapons Systems Procurement
Description: Acquisition Management / Defense Acquisition Community Contributor
URI: https://dair.nps.edu/handle/123456789/1259
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 full item record


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