Proof Strategies for Hardware Verification
National aerospace and electronics conference ; 1996 ; Dayton; OH
1996-01-01
8 pages
Also known as NAECON 1996. IEEE Cat nos 96CH35934 and 96CB35934
Conference paper
English
aerospace , electronics , NAECON , IEEE , AESS
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Environmental verification standards for space hardware
NTRS | 2003
|Environmental verification standards for space hardware
NTRS | 2003
|Verification of PLC programs using formal proof techniques
Tema Archive | 2008
|Micro-vibration Verification of GOCE Thermal Hardware
SAE Technical Papers | 2004
|