Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties" - Télécom Paris
Communication Dans Un Congrès Année : 2014

Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties"

Ludovic Apvrille
System on Chip
Département Communications & Electronique
Yves Roudier
EURECOM
Tullio Tanzi
  • Fonction : Auteur
  • PersonId : 1113061
System on Chip
Département Communications & Electronique
Franck Guarnieri
  • Fonction : Auteur
Centre de recherche sur les Risques et les Crises

Domaines

Systèmes embarqués Génie logiciel [cs.SE] Interface homme-machine [cs.HC] Modélisation et simulation Langage de programmation [cs.PL]

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02286918

Soumis le : vendredi 13 septembre 2019-16:21:41

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

hal-02286918 , version 1 (13-09-2019)

Identifiants

  • HAL Id : hal-02286918 , version 1

Citer

Ludovic Apvrille, Yves Roudier, Tullio 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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSMP CNRS EURECOM CRC-PARISTECH CRC-THESE ENSMP_CRC PARISTECH TDS-MACS PSL ENSMP_DR LTCI COMELEC LABSOC INSTITUT-MINES-TELECOM
98 Consultations
0 Téléchargements

Partager

More