Poster / Demo
Apvrille, Ludovic; Roudier, Yves; Tanzi, Tullio J; Guarnieri, Franck
SysML-Sec: Capturing and formally proving safety and security properties
Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", March 2014, Paris, France