- 1
David Carral
Publications de David Carral
1
Documents
Identifiants chercheurs
- david-carral
- 0000-0001-7287-4709
Présentation
See my personnal webpage here : <https://www-sop.inria.fr/members/David.Carral/>
Voir ma page web personnelle ici : <https://www-sop.inria.fr/members/David.Carral/>
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩
Communication dans un congrès
lirmm-04214807v1
|