Integer Parameter Synthesis for Real-Time Systems.

Aleksandra Jovanovic Didier Lime Olivier H. Roux

Published in: IEEE Trans. Software Eng. (2015)

Keyphrases

real time systems
distributed systems
real time
embedded systems
mission critical
real time database systems
timing constraints
object oriented programming language
artificial intelligence
cooperative
real time embedded
database
data management
architectural model
embedded real time systems