An estelle-based incremental protocol design system☆
References (35)
- et al.
VESAR: A Pragmatic Approach to Formal Specification and Verification
Comp. Net. ISDN Syst.
(1993) - et al.
The CCITT-Specification and Description Language SDL
Comp. Net. ISDN Syst.
(1989) - et al.
Introduction to the ISO Specification Language LOTOS
Comp. Net. ISDN Syst.
(1987) - et al.
On Tools Supporting the Use of Formal Description Techniques in Protocol Development
Comp. Net. ISDN Syst.
(1993) - et al.
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle∗
Comp. Net. ISDN Syst.
(1992) Protocol Engineering
Adv. Comp.
(1989)- et al.
A Software Design Method and Its Application to Protocol and Communication Software Development
Comp. Net. ISDN Syst.
(1988) - et al.
Tools for Computer Communication Systems
IEEE Trans. Software Eng.
(1988) Protocol Specification for OSI
Comp. Net. ISDN Syst.
(1989)- et al.
On Communicating FiniteState Machines
J. ACM
(1983)
An Introduction to Estelle: A Specification Language for Distributed Systems
Comp. Net. ISDN Syst.
(1987)
CCITT Recommendation Z.100: Specification and Description Language SDL
AP IX-35
(1988)
Broadcast Channels in Estelle
IEEE Trans. Comp.
(1991)
A Discipline for Multi-Phase Communicating Protocols
ACM Trans. Comp. Syst.
(1985)
Global state graph reduction techniques for Protocol Validation in the EFSM model
How Could Estelle Become a Better FDT?
Estelle∗: A Powerful Dialect of Estelle for OSI Protocol Description
Cited by (1)
Rule induction based on an incremental rough set
2009, Expert Systems with Applications
- ☆
The research was supported by the National Science Council of the Republic of China under the grant NSC 81-0408-E-006-568.
Copyright © 1997 Published by Elsevier Inc.