Formal Methods and the Dark Side of the Force

Jean-Louis Lanet 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Communication dans un congrès
Journée Approches Formelles des Systèmes Embarqués Communicants, Jun 2017, Paris, France
Liste complète des métadonnées

https://hal.inria.fr/hal-01645403
Contributeur : Jean-Louis Lanet <>
Soumis le : jeudi 23 novembre 2017 - 08:35:29
Dernière modification le : mercredi 16 mai 2018 - 11:24:14

Identifiants

  • HAL Id : hal-01645403, version 1

Citation

Jean-Louis Lanet. Formal Methods and the Dark Side of the Force. Journée Approches Formelles des Systèmes Embarqués Communicants, Jun 2017, Paris, France. 〈hal-01645403〉

Partager

Métriques

Consultations de la notice

108