Skip to Main content Skip to Navigation
Conference papers

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

Virgile Prévosto 1
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Document type :
Conference papers
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01835511
Contributor : Virgile Prevosto <>
Submitted on : Wednesday, July 11, 2018 - 2:19:55 PM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM
Long-term archiving on: : Saturday, October 13, 2018 - 2:37:00 AM

File

Vignette du document
Vessedia-Presentation.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-01835511, version 1

Collections

CEA | CEA-UPSAY | DRT | LIST | GS-ENGINEERING | GS-COMPUTER-SCIENCE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

107

Files downloads

57