Intégration des méthodes formelles au développement dirigé par les modèles, pour la conception et la vérification des systèmes et applications répartis

par Lom Messan Hillah

Thèse de doctorat en Systèmes informatiques

Sous la direction de Fabrice Kordon.

Soutenue en 2009

à Paris 6 .

  • Titre traduit

    Model-drive development and formal methods for the specification and development of distributed systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ([X]-184 p.)
  • Annexes : Bibliogr. p. 155-169. 263 réf. bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2009 267
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.