An Executable System Engineering Process Model Template Used to Reduced Development Risks
International symposium; 27th, International Academy of Astronautics; Space safety and rescue 1994 ; 1994 ; Jerusalem
1996-01-01
12 pages
Held in conjunctio with the 45th International Astronautical Federation Congress
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Executable specs: what makes one, and how are they used?
Kraftfahrwesen | 2006
|Executable Specs: What Makes One, and How are They Used?
SAE Technical Papers | 2006
|Verifying code automatically generated from an executable model
Kraftfahrwesen | 2005
|