Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation
201020692C : VERIDIS Modeling and Verification of Distributed Algorithms and Systems
Unité de recherche
(situation 2024)
Responsable(s)
- Stephan Merz à partir du 01/07/2012
|
|
Etablissement |
|
INRIA - Institut national de la recherche en informatique et automatique (E )
(établissement tutelle à
partir de 2010)
Etablissement référent
|
Fiche mise à jour par Tifenn Graffin le 23/11/2023 à 17:29
|