Portrait de chercheur ou chercheuse, Recherche
Stefan Haar : Repousser les limites des systèmes à évènements discrets
… Stefan Haar : Repousser les limites des systèmes à évènements discrets Stefan Haar : Repousser les limites … ou chercheuse Recherche Stefan Haar est chercheur au Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, … GS ISN compte de nombreuses thématiques, parmi elles : la sécurité et sureté des programmes, les systèmes distribués …Article publié le: