Formal Methods and the Dark Side of the Force - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Formal Methods and the Dark Side of the Force

No file

Dates and versions

hal-01645403 , version 1 (23-11-2017)

Identifiers

  • HAL Id : hal-01645403 , version 1

Cite

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⟩
124 View
0 Download

Share

Gmail Facebook X LinkedIn More