Real-Time Euclid: A Language for Reliable Real-Time Systems.

Eugene Kligerman Alexander D. Stoyenko

Published in: IEEE Trans. Software Eng. (1986)

Keyphrases

real time systems
real time
object oriented programming language
timing constraints
real time database systems
distributed systems
programming language
mission critical
embedded systems
case study
architectural model
low cost
real time embedded
contract algorithms