Compositional Refinement for Real-Time Systems with Priorities.

Abdeldjalil Boudjadar Jean-Paul Bodeveix Mamoun Filali

Published in: TIME (2012)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
timing constraints
embedded real time systems
simulated annealing
object oriented programming language