Login / Signup
Parametric updates in parametric timed automata.
Étienne André
Didier Lime
Mathias Ramparison
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
timed automata
clustering algorithm
xml documents
databases
machine learning
search engine
expert systems
software systems
model checking
temporal logic
parametric representation