You are here

Test de vulnérabilité pour composants de sécurité à partir de modèles formels basés sur la transformation de modèles et la résolution de contraintes

SAVARY Aymerick