Une approche itérative à base de composants pour la spécification et la vérification du comportement dynamique des systèmes contrôle-commande industriels

par Ouissem Mesli

Projet de thèse en Informatique et applications

Sous la direction de Patrick Girard et de Yassine Ouhammou.

Thèses en préparation à Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique , dans le cadre de École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges ; 2018-2022) , en partenariat avec Segula technologies (entreprise) depuis le 01-01-2019 .

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

Pas de résumé disponible.