Formal models for safety and performance analysis of a data center system
Domaines
Sciences de l'ingénieur [physics]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Article Dans Une Revue
Reliability Engineering and System Safety
Année : 2020
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
Dates et versions
Licence
Identifiants
- HAL Id : hal-03487280 , version 1
- DOI : 10.1016/j.ress.2019.106643
- PII : S0951-8320(19)30285-6
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⟩
23
Consultations
41
Téléchargements