Composing Families of Timed Automata.

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

Published in: FSEN (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
information retrieval
artificial intelligence
social networks
data mining
database systems
object recognition
software engineering
distributed systems
temporal logic