Model Checking Satellite Operational Procedures
Conference, DAta systems in aerospace ; 2011 ; San Anton, Malta
01.01.2011
63 pages
Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
DASIA , DAta systems , Aerospace , ESA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model Checking Driven Simulation of Sat Procedures
British Library Conference Proceedings | 2012
|Model Checking Driven Simulation of Sat Procedures
AIAA | 2012
|Operational satellite drag model standards
AIAA | 1995
|Deicing Facility Operational Procedures
SAE Technical Papers | 2009