Irman Faqrizal

Soutenance

Le 5 décembre 2024

Quantitative Verification and Runtime Techniques for Industrial Automation Systems

En savoir plus

Date

Le 5 décembre 2024

à 14:00

Localisation

INRIA - Montbonnot

Publié le 2 décembre 2024

Mis à jour le 2 décembre 2024