Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=180739182.

Analyse de sécurité de logiciels système par typage statique / Etienne Millon ; sous la direction de Emmanuel Chailloux

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Linux (système d'exploitation des ordinateurs) -- Thèses et écrits académiques

Gestion mémoire (informatique) -- Thèses et écrits académiques

Classification Dewey : 004

Chailloux, Emmanuel (1959-....) (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris) (1971-2017) (Organisme de soutenance / degree-grantor)

École doctorale Informatique, télécommunications et électronique (Paris) (Ecole doctorale associée à la thèse / doctoral school)