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 : Tuesday, November 5, 2019 - 9:32: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

11