Experience with Formal Specifications Using an Extended State Transition Model
Authors:
- G. BochmannGBG. Bochmann
- E. CernyECE. Cerny
- M. GagneMGM. Gagne
- C. JardCJC. Jard
- A. LeveilleALA. Leveille
- C. LacailleCLC. Lacaille
- M. MaksudMMM. Maksud
- K. RaghunathanKRK. Raghunathan
- B. SarikayaBSB. Sarikaya
- 1 December 1982
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 30 (12) , 2506-2513
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Structured Specification of Communicating SystemsIEEE Transactions on Computers, 1983
- A system for testing protocol implementationsComputer Networks (1976), 1982
- Simulation of a local computer network architecture applying a unified modeling systemComputer Networks (1976), 1982
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Executable Description and Validation of SNAIEEE Transactions on Communications, 1980
- Development and Structure of an X.25 ImplementationIEEE Transactions on Software Engineering, 1979
- Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic LanguagesIEEE Transactions on Software Engineering, 1979
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- Verification and evaluation of communication protocolsComputer Networks (1976), 1978
- Reduction of Petri-netsLecture Notes in Computer Science, 1976