Knowledge Tree

researcher / Éric Madelaine

Éric Madelaine

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Amélioration de la dissémination de données biaisées dans les réseaux structurés

Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants

Un modèle de comportement temporisé pour les systèmes distribués communicants

Formal specification and verification of distributed component systems

Formal specification and verification of distributed component systems

Génération de modèles comportementaux des applications réparties