Compositional Abstraction Refinement for Timed Systems.

Fei He He Zhu William N. N. Hung Xiaoyu Song Ming Gu

Published in: TASE (2010)

Keyphrases

genetic algorithm
search engine
database
data sets
learning algorithm
intelligent systems
computer systems
petri net
computer vision
website
case study
high level
multiscale
search algorithm
markov chain
retrieval systems