DocumentCode :
3333265
Title :
The Application of Program Verification to Hardware Verification
Author :
Darringer, John A.
Author_Institution :
IBM Thomas J. Watson Research Center, Yorktown Heights, N
fYear :
1979
fDate :
25-27 June 1979
Firstpage :
375
Lastpage :
381
Keywords :
Algebra; Application software; Arithmetic; Costs; Design engineering; Formal specifications; Hardware; Performance evaluation; Programming profession; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation, 1979. 16th Conference on
Type :
conf
DOI :
10.1109/DAC.1979.1600139
Filename :
1600139
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3333265
بازگشت