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

par Huu vu Nguyen

Thèse de doctorat en Informatique

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 .


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


  • Pas de résumé disponible.