ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation

par Christophe Duhil

Thèse de doctorat en Informatique

Sous la direction de Jean-philippe Babau.

Thèses en préparation à Brest , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance (equipe de recherche) depuis le 19-10-2017 .


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


  • Pas de résumé disponible.