Pascale Le Gall
Laboratoire
Mathématiques et Informatique pour la Complexité et les Systèmes
Mots cles
informatique - méthodes formelles - test de conformité - transformations de graphes - exécution symbolique - modèles des systèmes distribués et temporisés - modélisation géométrique
Publications (95)
Communication dans un congrès
01/12/2014
Communication dans un congrès
03/11/2014
Communication dans un congrès
08/10/2014
Communication dans un congrès
01/07/2014
Communication dans un congrès
31/03/2014
Chapitre d'ouvrage
01/01/2014
Communication dans un congrès
01/01/2014
Communication dans un congrès
13/11/2013
Chapitre d'ouvrage
01/01/2013
Communication dans un congrès
11/01/2012