×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [high assurance systems]
Vol 2
196 views
1392914959wpdm_Rally High Assurance Whitepaper - Rev 3
218 views
Advanced Technology Center Slide 1 Formal Methods in Safety-Critical Systems Dr. Steven P. Miller Advanced Computing Systems Rockwell Collins 400 Collins
217 views
Advanced Technology Center Slide 1 Model-Based Design & Analysis Dr. Steven P. Miller Advanced Computing Systems Rockwell Collins 400 Collins Road NE,
217 views
© Copyright 2008 Rockwell Collins, Inc. All rights reserved. Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical
214 views
IS 3957 Doctoral Seminar in Systems and Technology Information Assurance Introduction James Joshi September 8, 2005
213 views
PPD: Platform for Private Data
33 views