Showing 1 - 3 results of 3 for search 'Didier Lime', query time: 0.02s
Refine Results
-
1
Language Preservation Problems in Parametric Timed Automata by Étienne André, Didier Lime, Nicolas Markey
Published 2020-01-01
Article -
2
Parametric updates in parametric timed automata by Étienne André, Didier Lime, Mathias Ramparison
Published 2021-05-01
Article -
3
Reachability and liveness in parametric timed automata by Étienne André, Didier Lime, Olivier H. Roux
Published 2022-02-01
Article