Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… en sûreté et sécurité des systèmes informatiques grâce aux outils mathématiques. Il ambitionne de diffuser ses … allons partager et nourrir de nouveaux projets ambitieux », commente Patricia Bouyer. Le laboratoire compte une centaine … les méthodes d’analyse, de modélisation et de raisonnement pour les langages, les programmes, les protocoles et les …Article publié le: