Séminaire

Abdelhakim Baouya - Annulé

le 30 avril 2021
De 10h à 11h
De la conception au déploiement des systèmes embarqués et critiques dirigés par la fiabilité à l’aide de la vérification de modèles probabilistes.
Mis à jour le 16 avril 2021