Title :
Introduction Of Identification In Protocol Certification
Author :
Baron, C. ; Geffroy, J.-C.
Author_Institution :
INSA-DGE
fDate :
30 Jun-1 Jul 1994
Keywords :
Automatic testing; Certification; Concrete; Formal specifications; Hardware; Process control; Process design; Protocols;
Conference_Titel :
Test Workshop, 1994. ATW '94. The Third Annual Atlantic
DOI :
10.1109/ATW.1994.747848
