Strengthening Property Preservation in Concurrent Real-Time Systems.

Oana Florescu Jinfeng Huang Jeroen Voeten Henk Corporaal

Published in: RTCSA (2006)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
architectural model
mission critical
object oriented programming language
low cost
anytime algorithms
timing constraints
real time embedded
dynamic programming