On Board Model Checking Autonomous Resoning Engine
Public Documents
View
Print
Login
Home
Publications
Donwload
Installation Instructions
Compilation
Execution
Bug Tracking
Contatcs
Project Members
Public Documents
Private
OMC-ARE: On Board Model Checking - Autonomous Reasoning Engine
.
Final Presentation Slides
. By
A. Cimatti
,
A. Guiotto
and
M. Roveri
. November 11, 2008. ESA-ESTEC Noordwijk, NL.
(pdf)