A Refinement Relation for Families of Timed Automata.

Guillermina Cledou José Proença Luís Soares Barbosa

Published in: SBMF (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
data sets
multiscale
first order logic
database
real world
genetic algorithm
three dimensional
search algorithm
software engineering
real time systems
query refinement