A simple assertional proof system for real-time systems.

A. Udaya Shankar

Published in: RTSS (1992)

Keyphrases

real time systems
distributed systems
real time
embedded systems
real time database systems
high level
timing constraints