Introduction Of Identification In Protocol Certification

Author

Baron, C. ; Geffroy, J.-C.

Author_Institution

INSA-DGE

fYear

1994

fDate

30 Jun-1 Jul 1994

Keywords

Automatic testing; Certification; Concrete; Formal specifications; Hardware; Process control; Process design; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Test Workshop, 1994. ATW '94. The Third Annual Atlantic

Type

DOI

10.1109/ATW.1994.747848

Filename

747848

Link To Document