Why Engineers Should Consider Formal Methods
16th, Digital avionics systems conference ; 1997
1997-01-01
1.3-16-1.3-22
Also known as the 16th DASC. Theme title: Reflections to the future. IEEE cat nos 97CB36116 and 97CH36116
Conference paper
English
digital avionics systems , avionics , IEEE , DASC , AIASS
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Why engineers should consider formal methods
IEEE | 1997
|Why Engineers Should Consider Formal Methods
NTRS | 1997
|Should We Consider Variable Rotor Speeds?
Online Contents | 2004
64-bit computing Should you consider hybrid 64-bit servers?
British Library Online Contents | 2004
Engineers consider wear in designing new casing strings for Tarim field
Tema Archive | 2006
|