Timed Automata with Parametric Updates.

Étienne André Didier Lime Mathias Ramparison

Published in: ACSD (2018)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
temporal logic
theorem proving
web services
real time systems
database updates
data mining
information retrieval
search engine
social networks
search algorithm
inference rules