The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model

Authors:
Richard J. Linn, Jr.
Affiliations:
-
Venue:
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Year:
1985

Citing 0
Cited 10

Formal specification-based conformance testing

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets

IEEE Transactions on Software Engineering
On the Specification and Synthesis of Communicating Processes

IEEE Transactions on Software Engineering
The L.0 Language and Environment for Protocol Simulation and Prototyping

IEEE Transactions on Computers - Special issue on protocol engineering
Specification and analysis of the SNR high-speed transport protocol

IEEE/ACM Transactions on Networking (TON)
An Application of Explanation-Based Learning to Protocol Conformance Testing

IEEE Expert: Intelligent Systems and Their Applications
A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency

IEEE Transactions on Software Engineering
Development of Veda, a Prototyping Tool for Distributed Algorithms

IEEE Transactions on Software Engineering
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler

IEEE Transactions on Software Engineering
Specification and analysis of a data transfer protocol using systems of communicating machines

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract