Design, vérification et implémentation de systèmes à composants
Nous avons étudié dans le cadre de cette thèse le design, la vérification et l'implémentation des systèmes à composants. Nous nous sommes intéressés en particulier aux formalismes exprimant des interactions complexes, dans lesquels les connecteurs servent non seulement au transfert de données m...
Main Author: | |
---|---|
Language: | fra |
Published: |
Université de Grenoble
2011
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00685854 http://tel.archives-ouvertes.fr/docs/00/68/58/54/PDF/17020_QUINTON_2011_archivage_1_.pdf |