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

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

Fichier principal
Vignette du fichier
S0951832019302856.pdf (2.05 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

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⟩
19 Consultations
39 Téléchargements

Altmetric

Partager

More