Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… Stefan Haar: Pushing the boundaries of discrete event dynamic systems Stefan Haar: … portraits Research Stefan Haar is a researcher in the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, … of Research at the Computer Sciences Graduate School at Université Paris-Saclay. He specialises in formal methods …Published on: Thu 05/05/2022 - 15:16