Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone / Ibrahim Merzoug ; sous la direction de David Andreu

Date :

Editeur / Publisher : , 2018

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Petri, Réseaux de -- Thèses et écrits académiques

Systèmes embarqués (informatique) -- Thèses et écrits académiques

Andreu, David (Directeur de thèse / thesis advisor)

Vernadat, François B. (1954-.... ; roboticien) (Président du jury de soutenance / praeses)

Boniol, Frédéric (1963-....) (Rapporteur de la thèse / thesis reporter)

Chatain, Thomas (1980-....) (Rapporteur de la thèse / thesis reporter)

Godary, Karen (1976-....) (Membre du jury / opponent)

Guiraud, David (19..-.... ; Directeur de recherche INRIA) (Membre du jury / opponent)

Université de Montpellier (2015-....) (Organisme de soutenance / degree-grantor)

École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'informatique, de robotique et de micro-électronique (Montpellier ; 199.-....) (Laboratoire associé à la thèse / thesis associated laboratory)