Method of analysing extended finite-state machine specifications

Authors:
Behcet Sarikaya;Vassilios Koukoulidis;Gregor V. Bochmann
Affiliations:
-;-;-
Venue:
Computer Communications
Year:
1990

Citing 0
Cited 3

Constructing Protocols with Alternative Functions

IEEE Transactions on Computers - Special issue on protocol engineering
An incremental approach to reachability analysis of distributed programs

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A purpose-directed reachability analysis approach

TELE-INFO'06 Proceedings of the 5th WSEAS international conference on Telecommunications and informatics

Quantified Score

Hi-index	0.24

Visualization

Abstract