Specifying and verifying requirements of real-time systems.

Kirsten Mark Hansen Anders P. Ravn Hans Rischel

Published in: SIGSOFT (1991)

Keyphrases

real time systems
real time
distributed systems
timing constraints
embedded systems
real time database systems
mission critical
artificial intelligence
embedded real time systems
database systems
low cost
model checking
real time embedded