An Extended Duration Calculus for Hybrid Real-Time Systems.

Zhou Chaochen Anders P. Ravn Michael R. Hansen

Published in: Hybrid Systems (1992)

Keyphrases

real time systems
real time
timed automata
distributed systems
embedded systems
real time database systems
mission critical
timing constraints
object oriented programming language
embedded real time systems
database management systems
architectural model