Title :
The role of formal methods in hardware design assurance - [Not available for publication]
Keywords :
Design methodology; Hardware; NASA;
Conference_Titel :
Digital Avionics Systems Conference, 2004. DASC 04. The 23rd
Print_ISBN :
0-7803-8539-X
DOI :
10.1109/DASC.2004.1390728
