Safety Analysis of a Data Center's Electrical System Using Production Trees

Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy. Safety Analysis of a Data Center's Electrical System Using Production Trees. In Marco Bozzano, Yiannis Papadopoulos, editors, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Volume 10437 of Lecture Notes in Computer Science, pages 82-96, Springer, 2017. [doi]

Authors

Walid Mokhtar Bennaceur

This author has not been identified. Look up 'Walid Mokhtar Bennaceur' in Google

Leïla Kloul

This author has not been identified. Look up 'Leïla Kloul' in Google

Antoine Rauzy

This author has not been identified. Look up 'Antoine Rauzy' in Google