decoration

Poids de l’Open access dans la production CNRS

Titre
Formal Specification and Verification of Security Guidelines
BSO - Titre
Formal Specification and Verification of Security Guidelines
DOI
DOAI
Identifiant WoS
WOS:000403396000041
Accès ouvert
OA - Non
Source - Accès ouvert
OA - Non
Type d'accès
Non OA
Editeur

IEEE - Institute of Electrical and Electronics Engineers

Source

IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017)

ISSN
1555-094X
Type de document
  • Meeting Abstract
Notoriété
0 - Sans notoriété
CNRS
Oui
CNRS - Institut
  • INS2I - Institut des sciences de l'information et de leurs interactions
uid:/ZBQH8HTD
Powered by Lodex 9.6.0
decoration