Embedding time granularity in logical specifications of real-time systems.

Angelo Montanari Elena Ratto Edoardo Corsetti Angelo Morzenti

Published in: RTS (1991)

Keyphrases

real time systems
embedded real time systems
reactive systems
real time
embedded systems
distributed systems
real time database systems
high level
timing constraints
formal specification
real time embedded
low cost
anytime algorithms
object oriented programming language
machine learning
logical formulas
database