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

Yoann Laurent

est l'auteur d'une thèse

Alloy Framework Logique de premier-Ordre Logique informatique Model-Checking Métiers Procédés Vérification

Fullscreen

Alloy Framework Logique de premier-Ordre Logique informatique Model-Checking Métiers Procédés Vérification

Yoann Laurent a rédigé la thèse suivante :

Alloy4PV : un Framework pour la Vérification de Procédés Métiers

par Yoann Laurent sous la direction de Reda Bendraou et de Marie-Pierre Gervais . - Paris 6

Informatique

Soutenue le 15-01-2015

Thèse soutenue

Accéder en ligne