Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.

Published in: FORTE (2001)

Keyphrases

real time systems
real time
high level
distributed systems
real time database systems
timing constraints
object oriented programming language
database systems
high speed
mission critical
database
cooperative
information processing
power consumption
anytime algorithms