Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Quentin Rouland

Mots clés

FR |

EN

Métal-modélisation

Méthodes formelles

Architecture logicielle

Ingénierie systèmes sécurisés

Propriétés de sécurité

Systèmes informatiques -- Mesures de sûreté

Technologies de l'information et de la communication