Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Hamida Bouaziz

est l'auteur d'une thèse

Adaptation Automates d'interface Compatibilité Développement basé sur les composants Exigences Réseaux de Petri colorés SysML SysML Verification

Fullscreen

Adaptation Automates d'interface Compatibilité Développement basé sur les composants Exigences Réseaux de Petri colorés SysML SysML Verification

Hamida Bouaziz a rédigé la thèse suivante :

Adaptation of SysML Blocks and Verification of Temporal Properties

par Hamida Bouaziz sous la direction de Hassan Mountassir , Ahmed Hammad et de Samir Chouali . - Besançon

Informatique

Soutenue le 03-11-2016

Thèse soutenue

Accéder en ligne