TCTL model checking lower/upper-bound parametric timed automata without invariants

DOI10.1007/978-3-030-00151-3_3OpenAlexW2888483353MaRDI QIDQ1631215

Étienne André, Didier Lime, Mathias Ramparison

Publication date: 6 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-00151-3_3

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*

This page was built for publication: TCTL model checking lower/upper-bound parametric timed automata without invariants