An experience in using EDT to process the ISO transaction processing estelle specification
References (16)
- et al.
Introduction to the ISO Specification Language LOTOS
Computer Networks and ISDN Systems
(1987) - et al.
An Introduction to Estelle: A Specification Language for Distributed Systems
Computer Networks and ISDN Systems
(1987) Estelle Development Toolset (EDT)
Computer Network and ISDN Systems
(1992)- et al.
Industrial and Academic Protocol Testing: the Gap and the Means of Convergence
Computer Networks and ISDN Systems
(1995) A Validation of the OSI Session Layer Protocol
Computer Networks and ISDN Systems
(1986)Guidelines for the Application of FDTs to OSI, ISO/TC97/SC21/N1534
(September 1986)LOTOS: A Formal Description Technique based on a Temporal Ordering of Observational Behaviour
ISO IS 8807
(1989)Estelle: A Formal Description Technique based on an Extended State Transition Model
ISO IS 9074
(1989)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1997 Published by Elsevier Inc.