scientific article; zbMATH DE number 3926217
From MaRDI portal
Publication:3700808
Recommendations
- scientific article; zbMATH DE number 3876567
- An algorithmic technique for protocol verification
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
- scientific article; zbMATH DE number 1150543
- scientific article; zbMATH DE number 1670759
Cited in
(15)- Development of communication protocols using algebraic and temporal specifications.
- scientific article; zbMATH DE number 1670759 (Why is no real title available?)
- Verification of a multidestination selective repeat procedure
- scientific article; zbMATH DE number 3876567 (Why is no real title available?)
- An extension of protocol verification modal logic to multi-channel protocols
- scientific article; zbMATH DE number 3903959 (Why is no real title available?)
- scientific article; zbMATH DE number 3974265 (Why is no real title available?)
- scientific article; zbMATH DE number 3980447 (Why is no real title available?)
- Constructing submodule specifications and network protocols
- scientific article; zbMATH DE number 1150543 (Why is no real title available?)
- scientific article; zbMATH DE number 1796132 (Why is no real title available?)
- Aggregate approach for specification, validation, simulation and implementation of computer network protocols
- Engineering with logic. Rigorous test-oracle specification and validation for TCP/IP and the sockets API
- scientific article; zbMATH DE number 220136 (Why is no real title available?)
- A switch, in time
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3700808)
