Formal models for safety and performance analysis of a data center system - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Reliability Engineering and System Safety Année : 2020

Formal models for safety and performance analysis of a data center system

Domaines

Sciences de l'ingénieur [physics]
Fichier principal
Vignette du fichier
S0951832019302856.pdf (2.05 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Accord Elsevier CCSD  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03487280

Soumis le : mercredi 20 juillet 2022-17:26:12

Dernière modification le : jeudi 21 décembre 2023-10:50:10

Archivage à long terme le : vendredi 21 octobre 2022-21:50:15

Télécharger pour visualiser

Dates et versions

hal-03487280 , version 1 (20-07-2022)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Manuscrit accepté hébergé par Elsevier

Citer

Walid Mokhtar Bennaceur, Leïla Kloul. Formal models for safety and performance analysis of a data center system. Reliability Engineering and System Safety, 2020, 193, pp.106643 -. ⟨10.1016/j.ress.2019.106643⟩. ⟨hal-03487280⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UVSQ DAVID UNIV-PARIS-SACLAY GS-HUMANITIES-HERITAGE GS-COMPUTER-SCIENCE
11 Consultations
31 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More