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)
Article dans une revue
01/01/2022
Communication dans un congrès
01/01/2022
Article dans une revue
01/01/2022
Communication dans un congrès
17/05/2021
Communication dans un congrès
22/03/2021
Communication dans un congrès
14/01/2021
Article dans une revue
17/04/2020
Communication dans un congrès
09/10/2019
Communication dans un congrès
22/04/2019
Communication dans un congrès
08/04/2019