Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Iuliia Prokhorova, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

15 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationHigh-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
EditorsA Agarwal, S Gokhale, TM Khoshgoftaar
PublisherIEEE
Pages146–151
ISBN (Print)978-1-4673-0107-7
DOIs
Publication statusPublished - 2011
MoE publication typeA4 Article in a conference publication
EventInternational Symposium on High-Assurance Systems Engineering (HASE) - 13th International Symposium on High-Assurance Systems Engineering (HASE), 2011
Duration: 10 Nov 201112 Nov 2011

Conference

ConferenceInternational Symposium on High-Assurance Systems Engineering (HASE)
Period10/11/1112/11/11

Cite this