Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
A survey of communication protocol testing
Journal of Systems and Software
Integrated Signalling Functionality for Multimedia Services
ISCC '97 Proceedings of the 2nd IEEE Symposium on Computers and Communications (ISCC '97)
Advancing Radio Testing Methodology via Formal Notations
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |