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

Walid Mokhtar Bennaceur Leïla Kloul

Published in: Reliab. Eng. Syst. Saf. (2020)

Keyphrases

data center
formal models
cloud computing
rule based systems
formal model
virtual machine
process model
cost effective
energy consumption
energy efficiency
business continuity
power consumption
power management
mission critical
carbon dioxide
rule base
data sets
expert systems
databases