Testing Network Protocols: formally, at runtime and online.

Xiaoping Che Stéphane Maag Jorge López Ana R. Cavalli

Published in: SEKE (2014)

Keyphrases

network protocols
real time
smart grid
wireless mesh networks
response time
intelligent systems