Stefan Haar : Repousser les limites des systèmes à évènements discrets
… sabbatique durant laquelle il rejoint l’Université d’Ottawa. Il y travaille sur les méthodes de test de conformité … le Laboratoire spécification et vérification (LSV, alors situé à l’ENS Cachan) qui fusionne en 2021 avec … booléens traditionnellement utilisés par les biologistes. « Nous avons établi des connexions très fortes entre ces deux …
Published on: