Monitoring distributed reactive systems.

Yu Bai Jens Brandt Klaus Schneider

Published in: HLDVT (2012)

Keyphrases

reactive systems
distributed systems
distributed environment
temporal logic
multi agent
monitoring system
model checking
fault tolerant
real time
computer networks
information flow
formal methods
cooperative
distributed data streams
petri net
mobile agents
peer to peer
training set
black box