Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) est aujourd’hui la référence en matière de recherche en sûreté et sécurité des … diffuser ses méthodes d’analyse à d’autres domaines. Le 1 er janvier 2020 est né le Laboratoire méthodes formelles …Article publié le: