Efficient gateway synthesis from formal specifications
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Validation Aspects of Automatic Service Composition
Service-Oriented Computing - ICSOC 2007 Workshops
Test generation for interworking systems
Computer Communications
Hi-index | 0.00 |