Real-Time Euclid

Real-Time Euclid

Real-time language, restriction to time-bounded constructs.["Real-Time Euclid: A Language for Reliable Real-TimeSystems", E. Kligerman et al, IEEE Trans Software EngSE-12(9):941-1986-09-949].