DocumentCode :
2411763
Title :
Industrial Application Of Theorem Proving To System Level Design
Author :
Bainbridge, Simon ; Camilleri, Albert ; Fleming, Roger
Author_Institution :
Hewlett-Packard Laboratories
fYear :
1991
fDate :
28-30 Aug. 1991
Firstpage :
130
Lastpage :
142
Keywords :
Algorithm design and analysis; Communication industry; Communication system control; Hardware; Job shop scheduling; Laboratories; Process design; System recovery; System-level design; Time to market;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location :
Davis, CA, USA
Print_ISBN :
0-8186-2460-4
Type :
conf
DOI :
10.1109/HOL.1991.596280
Filename :
596280
Link To Document :
بازگشت