Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects
Mes travaux de recherche portent sur les modèles de programmation distribuée, principalement par objets et composants. Dans ce domaine, j'ai travaillé à fournir des outils facilitant la programmation d'applications distribuées à large échelle et vérifiant la correction de leur comportement...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université de Nice Sophia-Antipolis
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00720022 http://tel.archives-ouvertes.fr/docs/00/72/00/22/PDF/HDR-17-7-2012.pdf |