A Predicative Semantics for the Refinement of Real-Time Systems.

David Scholefield Hussein S. M. Zedan Jifeng He

Published in: MFPS (1993)

Keyphrases

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