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