Patterns for Representing FMEA in Formal Specification of Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ilya Lopatkin' in GoogleThis author has not been identified. Look up 'Alexei Iliasov' in GoogleThis author has not been identified. Look up 'Alexander Romanovsky' in GoogleThis author has not been identified. Look up 'Yuliya Prokhorova' in GoogleThis author has not been identified. Look up 'Elena Troubitsyna' in Google

runs on WebDSL