Recherche
Responsables de département : Hugo Gimbert and Antoine Rollet Les thèmes de recherche du département incluent les fondements des méthodes formelles
La Charte d’Équité, Diversité et Inclusion du LaBRI © 2022 by LaBRI est mise à disposition selon les termes de la license Creative Commons Attribution
La Charte d’Équité, Diversité et Inclusion du LaBRI © 2022 by LaBRI est mise à disposition selon les termes de la license Creative Commons Attribution
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et