DocumentCode

2409854

Title

Verification Of Integrated Subsystems

Author

Schubert, E. Thomas

Author_Institution

University of California

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

38

Lastpage

51

Keywords

Buffer storage; Computer science; Contracts; Control systems; Coprocessors; Embedded computing; Engines; Hardware; Memory management; Microprocessors;

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.596270

Filename

596270