Abdelhakim Baouya - Annulé

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.