DocumentCode :
2567831
Title :
Formal Verification Of FIRE: A Case Study
Author :
Jang, Jae-Young ; Qadeer, Shaz ; Kaufmann, Matt ; Pixley, Carl
Author_Institution :
Dept. of ECE, University of Colorado
fYear :
1997
fDate :
9-13 June 1997
Firstpage :
173
Lastpage :
177
Keywords :
Automotive engineering; Binary decision diagrams; Computer aided software engineering; Fires; Formal verification; Hardware; Permission; Road safety; Safety devices; Vehicle safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
ISSN :
0738-100X
Print_ISBN :
0-7803-4093-0
Type :
conf
DOI :
10.1109/DAC.1997.597139
Filename :
597139
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2567831
بازگشت