Un cadre formel pour la modélisation explicite des connaissances de domaine dans les méthodes formelles basées états : le cas des systèmes critiques interactifs.

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

FR

La soutenance a eu lieu le 05/10/2023. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.

Auteur / Autrice :	Ismail Mendil
Direction :	Yamine Ait ameur, Philippe Palanque
Type :	Projet de thèse
Discipline(s) :	Informatique
Date :	Inscription en doctorat le 22/11/2019 Soutenance le 05/10/2023
Etablissement(s) :	Toulouse, INPT
Ecole(s) doctorale(s) :	Mathématiques, Informatique, Télécommunications de Toulouse
Partenaire(s) de recherche :	Equipe de recherche : N7 Institut de Recherche en Informatique de Toulouse
Jury :	Président / Présidente : Kathia Marcal de oliveira
	Examinateurs / Examinatrices : Yamine Ait ameur, Philippe Palanque, Neeraj Singh, Dominique Mery
	Rapporteurs / Rapporteuses : Olga Kouchnarenko, Marc Frappier, Jean Vanderdonckt