Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.

Published in: ICFEM (2005)

Keyphrases

real time systems
distributed systems
real time embedded
high level
mission critical
real time
distributed environment
embedded systems
cooperative
peer to peer
real time database systems
embedded real time systems
hierarchical structure
timing constraints
mobile agents
software engineering
artificial intelligence