SysML-Sec: Capturing and formally proving safety and security properties

Apvrille, Ludovic; Roudier, Yves; Tanzi, Tullio J; Guarnieri, Franck

Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", March 2014, Paris, France

Detail

HAL

BIBTEX

Type:

Poster / Demo

City:

Paris

Date:

2014-03-01

Department:

Sécurité numérique

Eurecom Ref:

6018

© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", March 2014, Paris, France and is available at :