Login / Signup
Use of Runtime Enforcement for the Test of Real-time Systems.
Louis-Marie Givel
Matthias Brun
Camille Constant
Sébastien Faucou
Olivier H. Roux
Published in:
HPCC/CSS/ICESS (2015)
Keyphrases
</>
real time systems
real time
distributed systems
embedded systems
real time embedded
mission critical
architectural model
timing constraints
real time database systems
data management
test cases
anytime algorithms
access control
low cost
multi agent systems
cooperative
case study
artificial intelligence