Probabilistic and statistical approaches for proving time properties of cyber-physical systems

Par Liliana Cucu-Grosjean, Equipe Kopernic – Inria Paris, dans le cadre d’un Seminar@SystemX de l’IRT SystemX.

De 14h à 15h30 à l’IRT SystemX, sur le site de Nano-INNOV.

Pour accéder au résumé de l’intervention, au formulaire d’inscription et au plan d’accès www.irt-systemx.fr/evenements/liliana-cucu-grojean

 

Mots clés :

Les commentaires sont fermés.