Login / Signup
Robust synthesis for real-time systems.
Kim G. Larsen
Axel Legay
Louis-Marie Traonouez
Andrzej Wasowski
Published in:
Theor. Comput. Sci. (2014)
Keyphrases
</>
real time systems
distributed systems
real time
embedded systems
real time database systems
timing constraints
database
machine learning
multi agent
data model
real time embedded
embedded real time systems