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

Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02286918
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:21:41 PM
Last modification on : Thursday, October 17, 2019 - 12:37:00 PM

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

6