Automatic validation of infinite real-time systems.

Thomas Göthel Sabine Glesner

Published in: FormaliSE@ICSE (2013)

Keyphrases

real time systems
distributed systems
real time database systems
real time
mission critical
embedded systems
timing constraints
embedded real time systems
object oriented programming language
artificial intelligence
architectural model
machine learning
relational databases
real time embedded