Modeling and verification of real-time systems based on equations.

Kazuhiro Ogata Kokichi Futatsugi

Published in: Sci. Comput. Program. (2007)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mathematical model
mission critical
real time embedded
embedded real time systems
artificial intelligence
model checking
architectural model
database systems
cognitive processes
real time database systems
anytime algorithms
timing constraints