A protocol modeling and verification approach based on a specification language and Petri nets
- 1 May 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (5) , 523-536
- https://doi.org/10.1109/32.52775
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Protocol analysis using Numerical Petri NetsPublished by Springer Nature ,2005
- Automated protocol implementation with RTAGIEEE Transactions on Software Engineering, 1988
- A software environment for the specification and analysis of problems of coordination and concurrencyIEEE Transactions on Software Engineering, 1988
- Experiences in the use of galileo to design telecommunication systemsPublished by Springer Nature ,1988
- Automated Analysis of Discrete Communication BehaviorIEEE Transactions on Software Engineering, 1987
- Interactive State-Space Analysis of Concurrent SystemsIEEE Transactions on Software Engineering, 1987
- An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 ProtocolIEEE Transactions on Software Engineering, 1985
- On the Construction of Submodule Specifications and Communication ProtocolsACM Transactions on Programming Languages and Systems, 1983
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976