Testing Distributed Communication Protocols by Formal Performance Monitoring.

Xiaoping Che Stephane Maag

Published in: ENASE (Selected Papers) (2013)

Keyphrases

communication protocols
distributed systems
distributed data streams
monitoring system
distributed environment
computer networks
communication networks
peer to peer
communication protocol
cooperative
mobile agents
real time
test cases