×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [system software award]
SPIN Verification System The Model Checker SPIN By Gerard J. Holzmann Comp 587 – 12/2/09 Eduardo Borjas – Omer Azmon ☐ ☐
216 views
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
Verifying Autonomous Planning Systems Even the best laid plans need to be verified
28 views
Verifying Autonomous Planning Systems Even the best laid plans need to be verified
44 views
SPIN Verification System
60 views