Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability - Télécom Paris
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 : mercredi 23 octobre 2024-10:30:04

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

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

Partager

More