Skip to Main content Skip to Navigation
Conference papers

Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties"

Complete list of metadata

https://hal.telecom-paris.fr/hal-02286918
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:21:41 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM

Identifiers

  • HAL Id : hal-02286918, version 1

Citation

Ludovic Apvrille, yves Roudier, Tullio Tanzi, Franck Guarnieri. Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties". Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", Mar 2014, Paris, France. ⟨hal-02286918⟩

Share

Metrics

Record views

43