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

Walid Mokhtar Bennaceur, Leïla Kloul. Formal models for safety and performance analysis of a data center system. Rel. Eng. & Sys. Safety, 193:106643, 2020. [doi]

Abstract

Abstract is missing.