Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Génie logiciel [cs.SE] Systèmes embarqués

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 13 septembre 2019-16:04:22

Dernière modification le : lundi 9 octobre 2023-12:49:39

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02286706 , version 1

Citer

Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Dérive. Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability. ISARCS'13, Aug 2013, Montréal, Canada. ⟨hal-02286706⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM PARISTECH LTCI INFRES ACES
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More