AUTO-CODING DATA TYPE FRAMEWORK FOR THE OSRA USING MODERN C
IAA Symposium on Safety, Quality and Knowledge Management in Space Activities ; 52. ; 2019 ; Washington, DC
2020
Aufsatz (Konferenz)
Englisch
BKL: | 55.88 Luftverkehr, Raumfahrt |
Auto-coding/auto-proving flight control software
IEEE | 2004
|British Library Online Contents | 2001
Auto-Coding/Auto-Proving Flight Control Software
British Library Conference Proceedings | 2004
|Engineering Index Backfile | 1949
|