Signal: A Formal Design Environment for Real-Time Systems.

Paul Le Guernic

Published in: TAPSOFT (1995)

Keyphrases

real time systems
embedded systems
real time
real time embedded
reactive systems
cooperative
low cost
design process
case study
formal methods
timing constraints