Conception d'un cadre formel de développement de systèmes interactifs critiques.

par Ismail Mendil

Projet de thèse en Informatique

Sous la direction de Yamine Ait ameur et de Philippe Palanque.

Thèses en préparation à Toulouse, INPT , dans le cadre de Mathématiques, Informatique, Télécommunications de Toulouse , en partenariat avec N7 Institut de Recherche en Informatique de Toulouse (equipe de recherche) depuis le 22-11-2019 .

Pas de résumé en français disponible.

Pas de résumé disponible.