Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… est aujourd’hui la référence en matière de recherche en sûreté et sécurité des systèmes informatiques grâce aux outils … méthodes formelles En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement … l’aérospatial, le nucléaire, la défense ou encore la santé. « Une fusée qui explose au lancement ou une …Article publié le: ven 26/02/2021 - 10:44