The role of formal methods in hardware design assurance - [Not available for publication]
01.01.2004
13204 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
The Role of Formal Methods in Hardware Design Assurance
British Library Conference Proceedings | 2004
|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
|