Semantics for Specifying Real-Time Systems.

Mathai Joseph Asis Goswami

Published in: Specification and Verification of Concurrent Systems (1988)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
architectural model
real time database systems
case study
real time embedded
embedded real time systems
logic programming
database management systems
fine grained
anytime algorithms