IEEE - Institute of Electrical and Electronics Engineers, Inc. - A backward protocol verification method

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): Chung-Ming Huang ; Duen-Tay Huang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 1
Page Count: 4
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320039
Regular:

Using the formal Communication Finite State Machine (CFSM) model, a communication protocol consists of several communicating entities which can be represented in some CFSMs. Global state... View More

Advertisement