Formal semantic specifications as implementation blueprints for real-time programming languages
3rd Computers in Aerospace Conference ; 1981 ; San Diego , CA , U.S.A.
1981-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
NTIS | 1994
NTIS | 1994
AUTOMATED AIRCRAFT INTENT GENERATION PROCESS BASED ON SPECIFICATIONS EXPRESSED IN FORMAL LANGUAGES
Europäisches Patentamt | 2017
|MAINTENANCE - Blueprints for a Greener Tomorrow
Online Contents | 2013
US airport development Creating blueprints for the future
Online Contents | 2010