Reply to Comments on "An Interval Logic for Real-Time System Specification'.

Pierfrancesco Bellini Paolo Nesi Davide Rogai

Published in: IEEE Trans. Software Eng. (2006)

Keyphrases

real time
asynchronous circuits
transition systems
low cost
vision system
formal specification
multi valued
formal language
general purpose
logic programming
conceptual model
digital circuits
classical logic
logical framework
real time systems
control system
image sequences
high level
neural network