Translation and Optimization in the Verification of Real-Time Systems.

Ernst-Rüdiger Olderog

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

real time systems
distributed systems
real time
embedded systems
optimization algorithm
timing constraints
optimization problems
real time database systems
mission critical
database
architectural model
multi agent
model checking
anytime algorithms
real time embedded