Login / Signup
Comments on "An Interval Logic for Real-Time System Specification'.
Carlo A. Furia
Angelo Morzenti
Matteo Pradella
Matteo Rossi
Published in:
IEEE Trans. Software Eng. (2006)
Keyphrases
</>
real time
high level
low cost
formal language
transition systems
control system
vision system
modal logic
data sets
logic programming
formal specification
real time systems
specification language
reasoning about actions
asynchronous circuits