Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

César Kunz

est l'auteur d'une thèse

Compilateurs Logiciels -- Vérification Protection de l'information Systèmes informatiques -- Mesures de sûreté

Fullscreen

Compilateurs Logiciels -- Vérification Protection de l'information Systèmes informatiques -- Mesures de sûreté

César Kunz a rédigé la thèse suivante :

Préservation des preuves et transformation de programmes

par César Kunz sous la direction de Gilles Barthe - Paris, ENMP

Informatique, temps réel, robotique et automatique

Soutenue en 2009

Thèse soutenue

Accéder en ligne