Intégration des techniques de vérification formelle dans une approche de conception des systèmes de contrôle-commande : application aux architectures SCADA / Soraya Kesraoui ; sous la direction de Pascal Berruet et de Flavio Oquendo et de Abdoul Karim Armand Toguyeni

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Systèmes complexes

Commande automatique

Classification Dewey : 629.8

Berruet, Pascal (1970-....) (Directeur de thèse / thesis advisor)

Oquendo, Flavio (1958-...) (Directeur de thèse / thesis advisor)

Toguyeni, Abdoul Karim Armand (1964-...) (Directeur de thèse / thesis advisor)

Aït-Ameur, Yamine (1966-.... ; enseignant-chercheur en informatique) (Président du jury de soutenance / praeses)

Kolski, Christophe (1963-2...) (Rapporteur de la thèse / thesis reporter)

Roux, Olivier Henri (19..-.... ; professeur des universités IRCCyN) (Rapporteur de la thèse / thesis reporter)

Marangé, Pascale (1982-....) (Membre du jury / opponent)

Université de Bretagne Sud (Organisme de soutenance / degree-grantor)

École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (Ecole doctorale associée à la thèse / doctoral school)

Segula technologies (Entreprise associée à la thèse / thesis associated company)

Institut de recherche en informatique et systèmes aléatoires (Rennes) (Laboratoire associé à la thèse / thesis associated laboratory)

Laboratoire en sciences et techniques de l'information, de la communication et de la connaissance (Laboratoire associé à la thèse / thesis associated laboratory)

Centre de recherche en informatique, signal et automatique de Lille (Laboratoire associé à la thèse / thesis associated laboratory)