Portrait de chercheur ou chercheuse, Recherche
Stefan Haar : Repousser les limites des systèmes à évènements discrets
… chercheur au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria), et directeur-adjoint … chercheur au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec, Inria), et …
Published on: