LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

DIAGNE Alioune

PhD graduated - SRC
Departure date : 06/02/1997
Supervision : Pascal ESTRAILLIER

Une approche multi-formalismes de spécification de systèmes répartis : transformation de composants modulaires en réseaux de Petri

Defence : 06/02/1997 - 10h
Jury members :
Pascal Estraillier, Professeur UPMC - LIP6
Thérèse Hardin, Professeur UPMC - LIP6
Robert Valette, Professeur, LAAS-CNRS, Toulouse
Jacques Ferber, Professeur LIRM - Montpellier
Jean-Pierre Briot, Directeur de Recherche CNRS - LIP6
Philippe Desfray, SOFTEAM

1996-2003 Publications

 Mentions légales
Site map |