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/01/2012
Communication dans un congrès
30/04/2011
Article dans une revue
01/04/2011
Article dans une revue
01/12/2010
Communication dans un congrès
01/01/2010
Communication dans un congrès
01/01/2010
Article dans une revue
01/01/2010
Communication dans un congrès
01/11/2009
Communication dans un congrès
01/04/2009
Article dans une revue
01/01/2009