Timed Automata Patterns.

Jin Song Dong Ping Hao Shengchao Qin Jun Sun Wang Yi

Published in: IEEE Trans. Software Eng. (2008)

Keyphrases

timed automata
model checking
reachability analysis
interesting patterns
spatial patterns
pattern mining
theorem prover
previously unknown
real time
artificial intelligence
web pages
search algorithm
data mining techniques