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
05/03/2024
Communication dans un congrès
21/02/2024
Communication dans un congrès
31/01/2024
Communication dans un congrès
31/01/2024
Communication dans un congrès
12/07/2023