Portrait de chercheur ou chercheuse, Recherche
Stefan Haar : Repousser les limites des systèmes à évènements discrets
… ou chercheuse Recherche Stefan Haar est chercheur au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, … de sa ville natale, Hambourg (Allemagne). Dans ce cadre, en 1990, il se rend durant un an à l’Université Johns-Hopkins à … soutient en 1997 et dont le sujet porte sur l’étude des comportements des réseaux de Petri via le point de vue des …Article publié le: