Towards a declarative modeling and execution framework for real-time systems.

Sebastian Altmeyer Nicolas Navet

Published in: SIGBED Rev. (2016)

Keyphrases

real time systems
real time
timing constraints
computer science
software engineering
response time
active databases