Title :
Guest Editorial: Protocol Specification, Testing, and Verification
Author_Institution :
Sytek, Torrance, CA, USA
fDate :
12/1/1982 12:00:00 AM
Keywords :
Communication system testing; Computer communication protocols; Computer software requirements and specifications; Computer software testing; Computer software verification; Automata; Computational modeling; Computer bugs; Computer networks; Crops; Formal languages; Information analysis; Petri nets; Protocols; Testing;
Journal_Title :
Communications, IEEE Transactions on
DOI :
10.1109/TCOM.1982.1095446
