Telecommunication networks: protocols, modeling and analysis
Telecommunication networks: protocols, modeling and analysis
SNMP, SNMPv2, and CMIP: the practical guide to network management
SNMP, SNMPv2, and CMIP: the practical guide to network management
Fault detection with multiple observers
IEEE/ACM Transactions on Networking (TON)
Formal-language theoretic techniques to solve design and fault management problems in computer network protocols and other discrete-event systems
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
| Hi-index | 0.00 |