Real Time Properties for Interrupt Timed Automata.

Béatrice Bérard Serge Haddad Mathieu Sassolas

Published in: TIME (2010)

Keyphrases

real time
timed automata
real time systems
model checking
desirable properties
reachability analysis
low cost
general purpose
control system
web services
data acquisition
structural properties
databases
evolutionary algorithm
bayesian networks
three dimensional
high speed
decision making
computer vision
database