Towards Rapid Recertification Using Formal Analysis

Thumbnail Image
Files
SYM-AM-15-104.pdf (1.15 MB)
Authors
Smullen, Daniel
Breaux, Travis
Subjects
Advisors
Date of Issue
2015-04-01
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
Abstract
Type
Report
Description
URI
https://hdl.handle.net/10945/53580
Series/Report No
Department
Organization
Identifiers
NPS Report Number
SYM-AM-15-104
Sponsors
Naval Postgraduate School Acquisition Research Program
Funding
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.
Collections
Conferences