Activation-Oriented Specification of Real-Time Systems.

Vered Gafni Amiram Yehudai Yishai A. Feldman

Published in: FTRTFT (1994)

Keyphrases

real time systems
real time
reactive systems
distributed systems
embedded systems
real time database systems
formal specification
mission critical
timing constraints
object oriented programming language
high level
information processing
case study
real time embedded