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.
Localisation
Mis à jour le 16 avril 2021