Automata-based refinement checking for real-time systems.

Christian Heinzemann Christian Brenner Stefan Dziwok Wilhelm Schäfer

Published in: Comput. Sci. Res. Dev. (2015)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
timing constraints
object oriented programming language
real time embedded
architectural model
database systems
anytime algorithms
embedded real time systems
computational intelligence
data management