Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties" - Télécom Paris Access content directly
Conference Papers Year : 2014
No file

Dates and versions

hal-02286918 , version 1 (13-09-2019)

Identifiers

  • HAL Id : hal-02286918 , version 1

Cite

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⟩
71 View
0 Download

Share

Gmail Facebook X LinkedIn More