Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions to parametric timed model checking: Theory and algorithms

Étienne André 1
1 LCR - Logic, Computation and Reasoning [Villetaneuse]
LIPN - Laboratoire d'Informatique de Paris-Nord
Complete list of metadatas

Cited literature [194 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01857440
Contributor : Étienne André <>
Submitted on : Thursday, August 16, 2018 - 10:23:30 AM
Last modification on : Monday, October 19, 2020 - 11:04:36 AM
Long-term archiving on: : Saturday, November 17, 2018 - 12:27:59 PM

File

HDR-20180816.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License

Identifiers

  • HAL Id : tel-01857440, version 1

Collections

Citation

Étienne André. Contributions to parametric timed model checking: Theory and algorithms. Logic in Computer Science [cs.LO]. Université Paris 13, 2018. ⟨tel-01857440⟩

Share

Metrics

Record views

436

Files downloads

310