
Walid Mokhtar Bennaceur
3
Documents
Présentation
Publications
Publications
|
Formal models for safety and performance analysis of a data center systemReliability Engineering and System Safety, 2020, 193, pp.106643 -. ⟨10.1016/j.ress.2019.106643⟩
Article dans une revue
hal-03487280
v1
|
|
Analyse de la sûreté de fonctionnement d'un Data CenterCongrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Communication dans un congrès
hal-02066351
v1
|
|
Formal models for safety analysis of a Data Center systemModeling and Simulation. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLV078⟩
Thèse
tel-02448316
v1
|
Chargement...
Chargement...