VESSEDIA: Verification Engineering of Safety and Security Critical Industrial Applications Context of the project - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Papers Year :

VESSEDIA: Verification Engineering of Safety and Security Critical Industrial Applications Context of the project

Virgile Prévosto
Fichier principal
Vignette du fichier
Vessedia-Presentation.pdf (92.99 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

cea-01835511 , version 1 (11-07-2018)

Identifiers

  • HAL Id : cea-01835511 , version 1

Cite

Virgile Prévosto. VESSEDIA: Verification Engineering of Safety and Security Critical Industrial Applications Context of the project. Rendez-vous de la Recherche et de l'Enseignement en Sécurité des Systèmes d'Information - RESSI, May 2018, La Bresse, France. ⟨cea-01835511⟩
46 View
41 Download

Share

Gmail Facebook Twitter LinkedIn More