Towards Rapid Re-Certification Using Formal Analysis
Loading...
Authors
Smullen, Daniel
Breaux, Travis
Subjects
Advisors
Date of Issue
2015-07-01
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
Abstract
Type
Report
Description
Series/Report No
Department
Organization
Identifiers
NPS Report Number
CMU-AM-15-117
Sponsors
Naval Postgraduate School Acquisition Research Program
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.