Modèle de contrats généralisés pour la vérification des interactions entre composants hétérogènes

par Abdelkader Khouass

Projet de thèse en Informatique

Sous la direction de Christian Attiogbé et de Mohamed El-Habib Messabihi.

Thèses en préparation à Nantes , dans le cadre de MathSTIC (Nantes) depuis le 05-02-2020 .


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


  • Pas de résumé disponible.