Consistency verification in modeling of real-time systems.

Yi Deng Jiacun Wang Mengchu Zhou

Published in: IEEE Trans. Robotics Autom. (2004)

Keyphrases

real time systems
real time
real time database systems
timing constraints
architectural model
distributed systems
model checking
object oriented programming language
embedded real time systems
mission critical
fuzzy logic