Reasoning assertionally about real-time systems.

A. Udaya Shankar

Published in: Proc. IEEE (1994)

Keyphrases

real time systems
real time
distributed systems
real time database systems
knowledge base
embedded systems
mission critical
timing constraints
real time embedded
knowledge representation
database
cooperative
dynamic programming
object oriented
software systems