Model Checking Driven Simulation of Sat Procedures
SpaceOps 2012 ; 2012 ; Stockholm , Sweden
01.01.2012
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Model Checking Driven Simulation of Sat Procedures
British Library Conference Proceedings | 2012
|Model Checking Satellite Operational Procedures
British Library Conference Proceedings | 2011
|Security and the Tunnel - The unit load checking procedures explained
British Library Online Contents | 1997
British Library Conference Proceedings | 1995
|Tema Archiv | 2000
|