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
NAECON , IEEE , electronics , aerospace , AESS
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2003
|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
|