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
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
Computer Communications
Hi-index | 0.00 |