VESSEDIA: Verification Engineering of Safety and Security Critical Industrial Applications Context of the project - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Virgile Prévosto
Laboratoire Sûreté des Logiciels

Domaines

Informatique [cs] Cryptographie et sécurité [cs.CR] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
Vessedia-Presentation.pdf (92.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Virgile Prevosto  : Connectez-vous pour contacter le contributeur

https://cea.hal.science/cea-01835511

Soumis le : mercredi 11 juillet 2018-14:19:55

Dernière modification le : mercredi 3 avril 2024-11:14:11

Archivage à long terme le : samedi 13 octobre 2018-02:37:00

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : cea-01835511 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA DRT CEA-UPSAY UNIV-PARIS-SACLAY LIST GS-ENGINEERING GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT
51 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More