The role of formal methods in hardware design assurance - [Not available for publication]
2004-01-01
13204 byte
Conference paper
Electronic Resource
English
The Role of Formal Methods in Hardware Design Assurance
British Library Conference Proceedings | 2004
|Using formal methods for quality assurance of interlocking systems
Tema Archive | 1998
|Using formal methods for quality assurance of interlocking systems
British Library Conference Proceedings | 1998
|Product Assurance for Spaceflight Hardware
NTRS | 1995
|