Skip to main content

Search results for "formal verification"

Filters: 2011 2011 ×
Viewing 1 - 5 of 5 results by relevance
Proceedings

Public Health Effectiveness of the FDA 510(k) Clearance Process: Measuring Postmarket Performance and Other Select Topics: Workshop Report  (2011)

Consensus Study Report

2009-2010 Assessment of the Army Research Laboratory  (2011)

Proceedings

Building the 21st Century: U.S.-China Cooperation on Science, Technology, and Innovation  (2011)

Procedures for Verification and Validation of Computer Simulations Used for Roadside Safety Applications  (2011)

Transit Enterprise Architecture and Planning Framework  (2011)