Multiple Domain Experience in Systems Engineering Using an Executable Specifications Tool
13th Conference, Digital avionics systems ; 1994 ; Phoenix; AZ
1994-01-01
6 pages
Also known as the 13th DASC. IEEE cat no 94CH3573-0
Conference paper
English
digital avionics systems , DASC , IEEE , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Hierarchical Accumulative Validation of Executable Control Specifications
SAE Technical Papers | 2013
|Hierarchical Accumulative Validation of Executable Control Specifications
British Library Conference Proceedings | 2013
|Overcoming the generation gap in aircraft designs with executable specifications
IEEE | 2011
|