Groupe

MFDL

MFDL : Méthodes Formelles dans le Développement Logiciel

Description de l'action AFSEC

AFSEC : Approches Formelles des Systèmes Embarqués Communicants

(Site Web : http://afsec.asr.cnrs.fr )

Responsables

Description du groupe COSMAL

COSMAL - Composants Objets Services : Modèles, Architectures et Langages
Responsables
  • Pascal Poizat (pascal{dot}poizat{at}lip6.fr)
  • Romain Rouvoy (romain{dot}rouvoy{at}lifl.fr)
Membres du bureau
  • Philippe Collet
  • Christophe Dony
  • Marie-Pierre Gervais
  • Philippe Lahire
  • Mourad Oussalah
Thématique scientifique

Description du groupe Compilation

Communauté Française de compilation - COMPIL-FR

 

Responsables

Kevin Martin, Université de Bretagne Sud

Laure Gonnord Université Lyon1, LIP (ENS Lyon)

Fabrice Rastello INRIA
 

Pages

S'abonner à RSS - Groupe