×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [system software award]
Documents
SPIN Verification System The Model Checker SPIN By Gerard J. Holzmann Comp 587 – 12/2/09 Eduardo Borjas – Omer Azmon ☐ ☐
215 views
Documents
Verifying Autonomous Planning Systems Even the best laid plans need to be verified Prepared for the 2005 Software Assurance Symposium (SAS) DS1 MSL EO1
213 views
Documents
Verifying Autonomous Planning Systems Even the best laid plans need to be verified
25 views
Documents
Verifying Autonomous Planning Systems Even the best laid plans need to be verified
43 views
Documents
SPIN Verification System
55 views