Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
A User Friendly Software Environment for Protocol Synthesis
IEEE Transactions on Computers - Special issue on protocol engineering
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph
IEEE Transactions on Software Engineering
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Research: Protocol validation by simultaneous reachability analysis
Computer Communications
Hi-index | 0.00 |