SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Experience with an Estelle development system
Conference proceedings on Formal methods in software development
A User Friendly Software Environment for Protocol Synthesis
IEEE Transactions on Computers - Special issue on protocol engineering
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Executable logic specifications for protocol service interfaces
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph
IEEE Transactions on Software Engineering
Channel Representations in Protocol Verification
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Research: The ISO virtual terminal protocol: a semi-automatic implementation
Computer Communications
Hi-index | 0.00 |