A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems.

Published in: FM-Trends (1998)

Keyphrases

real time systems
real time embedded
case study
embedded systems
real time
distributed systems
simulation model
design process
simulation environment