Portrait de chercheur ou chercheuse, Recherche
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é … méthodologie formelle. « Cette approche, développée à partir de l’étude du lien entre un système continu et son … sabbatique durant laquelle il rejoint l’Université d’Ottawa. Il y travaille sur les méthodes de test de conformité …
Published on: