Evaluation of verifiability in HAL/S<149>programming language for aerospace computers
2nd Computers in Aerospace Conference ; 1979 ; Los Angeles , CA , U.S.A.
01.01.1979
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Tema Archiv | 1977
|Computers and Aerospace Technology
Emerald Group Publishing | 1992
|Microminiature Aerospace Digital Computers
NTIS | 1968
|Computers and Aerospace Technology
British Library Online Contents | 1992
|AIAA | 1977
|