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

Virgile Prévosto

Conference Papers Year :

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

(1)

1

Virgile Prévosto

Function : Author
PersonId : 9523
IdHAL : virgile-prevosto
ORCID : 0000-0002-7203-0968
IdRef : 089311884

Laboratoire Sûreté des Logiciels

Domains

Computer Science [cs] Cryptography and Security [cs.CR] Software Engineering [cs.SE]

Fichier principal

Vessedia-Presentation.pdf (92.99 Ko)

Origin : Files produced by the author(s)

Virgile Prevosto : Connect in order to contact the contributor

https://hal-cea.archives-ouvertes.fr/cea-01835511

Submitted on : Wednesday, July 11, 2018-2:19:55 PM

Last modification on : Thursday, February 17, 2022-10:08:03 AM

Long-term archiving on: Saturday, October 13, 2018-2:37:00 AM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share