DocumentCode
766392
Title
Guest Editorial: Protocol Specification, Testing, and Verification
Author
Sunshine, Carl
Author_Institution
Sytek, Torrance, CA, USA
Volume
30
Issue
12
fYear
1982
fDate
12/1/1982 12:00:00 AM
Firstpage
2485
Lastpage
2485
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;
fLanguage
English
Journal_Title
Communications, IEEE Transactions on
Publisher
ieee
ISSN
0090-6778
Type
jour
DOI
10.1109/TCOM.1982.1095446
Filename
1095446
Link To Document