Liliana Cucu-Grosjean ran a Seminar@SystemX
Liliana Cucu-Grosjean (Equipe Kopernic – Inria Paris) will run a seminar at IRT SystemX on March 3rd on the following topic «Probabilistic and statistical approaches for proving time properties of cyber-physical systems» from 2pm to 3.30pm. Abstract : Since the...