5 novembre 2021 | École d'ingénieur Denis Diderot, EIDD dans la presse
Eugene Asarin, ancien responsable de la spécialité Systèmes Informatiques Embarqués et acteur de l’EIDD. Accéder au site Runtime Verification 2021 À lire aussi Eugene Asarin: Parametric Identification of Temporal Properties École d'ingénieur Denis Direrot, EIDD dans...
5 novembre 2021 | École d'ingénieur Denis Diderot, EIDD dans la presse
Un article co-rédigé par Ahmed Bouajjani, co-responsable de la spécialité Systèmes Informatiques Embarqués de l’école, a été primé lors de la conférence CONCUR. Lire l’article sur le site du CNRS Près de 25 ans après sa publication, un article...
Commentaires récents