Timed Patterns: TCOZ to Timed Automata.
Jin Song DongPing HaoShengchao QinJun SunWang YiPublished in: ICFEM (2004)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- theorem proving
- first order logic
- temporal logic
- pattern analysis
- pattern discovery
- similar patterns
- real time systems
- previously unknown
- pattern mining
- data analysis
- real time
- frequent patterns
- multiscale
- emerging patterns
- spatial patterns
- database systems
- real world
- neural network