The Role of Formal Methods in Hardware Design Assurance
Conference; 23RD, Digital avionics systems:; Avionics systems: transitioning to the next generation ; 2004 ; Salt Lake City, UT
01.01.2004
6C2
Aufsatz (Konferenz)
Englisch
Digital avionics systems , IEEE , AIAA , DASC
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Using formal methods for quality assurance of interlocking systems
Tema Archiv | 1998
|Using formal methods for quality assurance of interlocking systems
British Library Conference Proceedings | 1998
|Product Assurance for Spaceflight Hardware
NTRS | 1995
|