A Notion of Non-Interference for Timed Automata.

Roberto Barbuti Nicoletta De Francesco Antonella Santone Luca Tesei

Published in: Fundam. Informaticae (2002)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
information retrieval
website
multipath
database
evolutionary algorithm