Experience with Formal Specifications Using an Extended State Transition Model
- 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
- https://doi.org/10.1109/tcom.1982.1095445
Abstract
No abstract availableThis publication has 11 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