×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [system software award]
Home >
system software award
SPIN Verification System The Model Checker SPIN By Gerard J. Holzmann Comp 587 – 12/2/09 Eduardo Borjas – Omer Azmon ☐ ☐
215 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
42 views
SPIN Verification System
54 views
Verifying Autonomous Planning Systems Even the best laid plans need to be verified
26 views