A time-oriented language for the writing of procedures to sequence the operation of a spacecraft and its systems
8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.
1991-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Problem-oriented systems technique in spacecraft
British Library Conference Proceedings | 2012
|Static Verification of Spacecraft Procedures
British Library Conference Proceedings | 2009
|