Gruppo di ricerca : MoVe - Modeling and Verification
Axes :
SSR (👥👥),
ASN (👥),
TMC (👥).
Responsabile del gruppo di ricerca :
Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215
Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210
Members
Ventuno personale accademico e di ricerca permanente, cinque Studente di dottorato.