Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.telecom-paris.fr/hal-02286918
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:21:41 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM

Identifiers

  • HAL Id : hal-02286918, version 1

Citation

Ludovic Apvrille, Yves Roudier, Tullio J. 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

49