Model Checking Driven Simulation of Sat Procedures
SpaceOps 2012 ; 2012 ; Stockholm , Sweden
2012-01-01
Conference paper
Electronic Resource
English
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 Archive | 2000
|