Automata-Based Refinement Checking for Real-Time Systems.

Christian Brenner Christian Heinzemann Wilhelm Schäfer Stefan Henkler

Published in: Software Engineering (2013)

Keyphrases

real time systems
real time
distributed systems
embedded systems
timing constraints
architectural model
real time database systems
object oriented programming language
mission critical
real time embedded
embedded real time systems
machine learning
case study
open source