1. Publications
  2. SysML-Sec: Capturing and formally proving safety and security properties
print

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:
Digital Security
Eurecom Ref:
6018
Copyright:
© 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 :
See also:
APVRILLE Ludovic
PERMALINK : https://www.eurecom.fr/publication/6018