Login / Signup
Thibault Lemattre
ORCID
Publication Activity (10 Years)
Years Active: 2011-2021
Publications (10 Years): 1
Top Topics
Upper Bound
Formal Language
Operational Semantics
Distributed Environment
Top Venues
Reliab. Eng. Syst. Saf.
</>
Publications
</>
Loïc Desgeorges
,
Pierre-Yves Piriou
,
Thibault Lemattre
,
Hassane Chraibi
Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata.
Reliab. Eng. Syst. Saf.
208 (2021)
Thibault Lemattre
,
Bruno Denis
,
Jean-Marc Faure
,
Patrick Salaün
,
Jean-François Pétin
Using a meta-model to build operational architectures of automation systems for critical processes.
ETFA
(2011)
Thibault Lemattre
,
Bruno Denis
,
Jean-Marc Faure
,
Jean-François Pétin
,
Patrick Salaün
Designing operational control architectures of critical systems by reachability analysis.
CASE
(2011)