National thesis
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle, par interprétation abstraite
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle, par interprétation abstraite
Université Ibn Khaldoun
Defence date: 29-01-2016
Supervisor
ATTMANI Abdelilah