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]
@inproceedings{MechhoudR14, title = {Automated dependability analysis of a HDPE reactor}, author = {El-Arkam Mechhoud and Mounira Rouainia}, year = {2014}, doi = {10.1109/CCST.2014.6987050}, url = {https://doi.org/10.1109/CCST.2014.6987050}, researchr = {https://researchr.org/publication/MechhoudR14}, cites = {0}, citedby = {0}, pages = {1-5}, booktitle = {International Carnahan Conference on Security Technology, ICCST 2014, Rome, Italy, October 13-16, 2014}, publisher = {IEEE}, isbn = {978-1-4799-3530-7}, }