Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna. Patterns for Representing FMEA in Formal Specification of Control Systems. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 146-151, IEEE Computer Society, 2011. [doi]
@inproceedings{LopatkinIRPT11,
title = {Patterns for Representing FMEA in Formal Specification of Control Systems},
author = {Ilya Lopatkin and Alexei Iliasov and Alexander Romanovsky and Yuliya Prokhorova and Elena Troubitsyna},
year = {2011},
doi = {10.1109/HASE.2011.10},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.10},
researchr = {https://researchr.org/publication/LopatkinIRPT11},
cites = {0},
citedby = {0},
pages = {146-151},
booktitle = {13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011},
editor = {Taghi M. Khoshgoftaar},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-0107-7},
}