Thèse nationale

Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle, par interprétation abstraite

Université Ibn Khaldoun
Date de soutenance: 29-01-2016

Encadrant