Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.

Kozo Okano Behzad Bordbar Takeshi Nagaoka

Published in: ICNC (2011)

Keyphrases

high level
small number
data sets
database
databases
neural network
computer vision
information systems
case study