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/08/2023
Chapitre d'ouvrage
01/06/2023
Poster de conférence
04/04/2023
Article dans une revue
01/01/2023
Article dans une revue
01/01/2023
Communication dans un congrès
22/10/2022
Article dans une revue
14/05/2022
Poster de conférence
25/04/2022
Autre publication scientifique
01/03/2022
Article dans une revue
01/02/2022