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

Mohamed Wassim Trojet

est l'auteur d'une thèse

Simulation, Méthodes de Systèmes échantillonnés Théorèmes -- Démonstration automatique Z

Fullscreen

Simulation, Méthodes de Systèmes échantillonnés Théorèmes -- Démonstration automatique Z

Mohamed Wassim Trojet a rédigé la thèse suivante :

Approche de vérification formelle des modèles DEVS à base du langage Z

par Mohamed Wassim Trojet sous la direction de Claudia Frydman et de Amine Hamri . - Aix-Marseille 3

Génie informatique et automatique

Soutenue en 2010

Thèse soutenue