DocumentCode :
3615790
Title :
Verification: What works and what doesn´t
Author :
F. Bacchini;R. Damiano;B. Bentley;K. Baty;K. Normoyle;M. Ishii;E. Yogev
Author_Institution :
Thinkbold Corporate Communications, San Jose, CA
fYear :
2004
fDate :
6/26/1905 12:00:00 AM
Firstpage :
274
Lastpage :
274
Keywords :
"Job shop scheduling","Formal verification","Testing","Optimization methods","Design methodology","Hardware design languages","Timing","Law","Legal factors","History"
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
ISSN :
0738-100X
Print_ISBN :
1-51183-828-8
Type :
conf
DOI :
10.1145/996566.996648
Filename :
1322488
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3615790
بازگشت