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: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2011GRENM002/document |