Madelaine, Éric, 19..-....
Madelaine, Éric 1958-...
Madelaine, Eric
VIAF ID: 198787886 ( Personal )
Permalink: http://viaf.org/viaf/198787886
Preferred Forms
- 200 _ | ‡a Madelaine ‡b Éric ‡f 1958-....
-
- 100 1 _ ‡a Madelaine, Eric
-
- 100 1 _ ‡a Madelaine, Eric ‡d 1958-
- 100 1 _ ‡a Madelaine, Éric, ‡d 19..-....
- 100 1 _ ‡a Madelaine, Éric ‡d 1958-...
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Amélioration de la dissémination de données biaisées dans les réseaux structurés | |
Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels | |
FMCO 2008 | |
Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers | |
Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures | |
Formal specification and verification of distributed component systems | |
Génération de modèles comportementaux des applications réparties | |
Henri JEAN-LOUIS : Premier Guadeloupéen Panafricain Anticolonialiste & la Saga des BAGHIO'O | |
home page, Apr. 22, 2005 | |
Improving skewed data dissemination in structured overlays. | |
Internet des Objets centré service autocontrôlé | |
Inventaire des cavités des karsts littoraux ouest du département des Alpes-Maritimes (France) | |
Live-migrations scheduling of virtual machines. | |
Un modèle de comportement temporisé pour les systèmes distribués communicants | |
Models generation for Java distributed applications. | |
Ordonnancement des migrations à chaud de machines virtuelles | |
Self-controlled service-centric Internet of Things. | |
Spécification et vérification formelles des sytèmes de composants répartis. | |
Système d'aide à la preuve de compilateurs | |
Le Système perluette et les preuves de représentation de types abstraits | |
A timed communication behaviour model for distributed systems. |