Towards Rapid Re-Certification Using Formal Analysis
| dc.contributor.author | Smullen, Daniel | |
| dc.contributor.author | Breaux, Travis | |
| dc.contributor.corporate | Acquisition Research Program (ARP) | |
| dc.date.accessioned | 2017-05-30T20:38:26Z | |
| dc.date.available | 2017-05-30T20:38:26Z | |
| dc.date.issued | 2015-07-01 | |
| dc.description.sponsorship | Naval Postgraduate School Acquisition Research Program | en_US |
| dc.identifier.npsreport | CMU-AM-15-117 | en_US |
| dc.identifier.uri | https://hdl.handle.net/10945/53561 | |
| dc.publisher | Monterey, California. Naval Postgraduate School | en_US |
| dc.relation.ispartofseries | Acquisition Research Sponsored Report Series | |
| dc.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. | en_US |
| dc.title | Towards Rapid Re-Certification Using Formal Analysis | en_US |
| dc.type | Technical Report | en_US |
| dspace.entity.type | Publication | |
| relation.isOrgUnitOfPublication | bc7988c8-57ff-485c-9348-877f4ef91f4e | |
| relation.isOrgUnitOfPublication.latestForDiscovery | bc7988c8-57ff-485c-9348-877f4ef91f4e | |
| relation.isSeriesOfPublication | 0cc1c964-9d60-4598-b4a8-6a07f04b3ced | |
| relation.isSeriesOfPublication.latestForDiscovery | 0cc1c964-9d60-4598-b4a8-6a07f04b3ced |
Files
Original bundle
1 - 1 of 1