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