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

Matthias Krieger

est l'auteur d'une thèse

Animation Contraintes Execution de modèle Génie logiciel Génération de tests Isabelle/HOL OCL Solveurs SAT UML UML

Fullscreen

Animation Contraintes Execution de modèle Génie logiciel Génération de tests Isabelle/HOL OCL Solveurs SAT UML UML

Matthias Krieger a rédigé la thèse suivante :

Test generation and animation based on object-oriented specifications

par Matthias Krieger sous la direction de Burkhart Wolff - Paris 11

Informatique

Soutenue le 09-12-2011

Thèse soutenue

Accéder en ligne