Login / Signup
On Timed Automata with Input-Determined Guards.
Deepak D'Souza
Nicolas Tabareau
Published in:
FORMATS/FTRTFT (2004)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
databases
social networks
input data
random variables