Patterns for Representing FMEA in Formal Specification of Control Systems

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    15 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationHigh-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
    RedaktörerA Agarwal, S Gokhale, TM Khoshgoftaar
    FörlagIEEE
    Sidor146–151
    ISBN (tryckt)978-1-4673-0107-7
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Symposium on High-Assurance Systems Engineering (HASE) - 13th International Symposium on High-Assurance Systems Engineering (HASE), 2011
    Varaktighet: 10 nov 201112 nov 2011

    Konferens

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

    Citera det här