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