Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
Tool support for hardware/software co-design of communication protocols
Computer Communications
Hi-index | 0.00 |