Efficient verification of distributed real-time systems with broadcasting behaviors.

Farn Wang Li-Wei Yao Ya-Lan Yang

Published in: Real Time Syst. (2011)

Keyphrases

real time systems
distributed systems
real time embedded
distributed environment
mission critical
real time
multi agent
model checking
cooperative
response time
mobile agents