New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Strategic Testing Environment with Formal Description Techniques
IEEE Transactions on Computers - Special issue on protocol engineering
SDE: Incremental Specification and Development of Communications Software
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
A language-based approach to protocol implementation
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
A language-based approach to protocol implementation
IEEE/ACM Transactions on Networking (TON)
Extending the statechart formalism: event scheduling & disposition
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
IEEE Transactions on Software Engineering
CONMan: a step towards network manageability
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
Hi-index | 0.00 |