Timed vs. Time-Triggered Automata.
Pavel KrcálLeonid MokrushinP. S. ThiagarajanWang YiPublished in: CONCUR (2004)
Keyphrases
- timed automata
- finite state machines
- model checking
- cellular automata
- finite automata
- theorem prover
- probabilistic automata
- petri net
- regular expressions
- theorem proving
- database
- finite state
- lattice gas
- finite state automata
- tree automata
- data sets
- real time
- temporal logic
- turing machine
- relational databases
- computer vision