Automated dependability analysis of a HDPE reactor

El-Arkam Mechhoud, Mounira Rouainia. Automated dependability analysis of a HDPE reactor. In International Carnahan Conference on Security Technology, ICCST 2014, Rome, Italy, October 13-16, 2014. pages 1-5, IEEE, 2014. [doi]

Abstract

Abstract is missing.