CARET MODEL-CHECKING D'AUTOMATES A PILES : APPLICATION A LA DETECTION DE MALWARE

par Huu vu Nguyen

Thèse de doctorat en Informatique

La soutenance a eu lieu le 05-07-2018

Le document qui a justifié la délivrance du diplôme est en cours de traitement par la bibliothèque de l'établissement de soutenance.

Sous la direction de Tayssir Touili.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec LIAFA (lab. informatique, algorithmique fondamental et appliquée) (equipe de recherche) depuis le 24-09-2014 .

mots clés

• Sciences

Pas de résumé en français disponible.

Pas de résumé disponible.