🤓
Professor at Sorbonne Paris Nord, France
- Paris, France
- https://lipn.univ-paris13.fr/~andre/
- @[email protected]
Pinned Loading
-
imitator-model-checker/imitator
imitator-model-checker/imitator PublicIMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
-
templates-latex
templates-latex PublicSome LaTeX templates to mimick the MS W*rd templates for some project/grant submissions (mostly French)
TeX 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.