Back to Search Start Over

On conditions for defining a closed cover to verify progress for communicating finite state machines

Authors :
Chung, A.
Sidhu, D.P.
Source :
IEEE Transactions on Software Engineering. Nov, 1989, Vol. v15 Issue n11, p1491, 4 p.
Publication Year :
1989

Subjects

Subjects :
Finite State Automata
Mathematical Models
Scientific Research
Communications Technology
Protocol
Message Switching
Network Architecture

Details

ISSN :
00985589
Volume :
v15
Issue :
n11
Database :
Gale General OneFile
Journal :
IEEE Transactions on Software Engineering
Publication Type :
Academic Journal
Accession number :
edsgcl.7970618

Tools

Authors Abstract Subjects Details