Accéder directement au contenu

David Carral

Publications de David Carral
1
Documents
Identifiants chercheurs

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

"aziz-sfar"
Image document

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

Aziz Sfar , David Carral , Dina Irofti , Madalina Croitoru
FMICS 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