Taxonomic Search: Matthew Wilding

4 results

Results

file

Visible to the public High Confidence Software and Systems: A Rockwell Collins Perspective

License: 
Creative Commons 2.5
file

Visible to the public vFaat: von Neumann Formal Analysis and Annotation Tool

License: 
Creative Commons 2.5
file

Visible to the public A High-Assurance Partitioned Development Environment

License: 
Creative Commons 2.5
file

Visible to the public Evaluatable, High-Assurance Microprocessors

License: 
Creative Commons 2.5