C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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