Tools for Specifying Real-Time Systems.

Giacomo Bucci Maurizio Campanai Paolo Nesi

Published in: Real Time Syst. (1995)

Keyphrases

real time systems
object oriented programming language
distributed systems
real time
embedded real time systems
real time database systems
mission critical
timing constraints
embedded systems
database
computational intelligence
anytime algorithms