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


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 and is available at :
See also:
APVRILLE Ludovic
PERMALINK : https://www.eurecom.fr/publication/6018