Patterns for Representing FMEA in Formal Specification of Control Systems

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    15 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoHigh-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
    ToimittajatA Agarwal, S Gokhale, TM Khoshgoftaar
    KustantajaIEEE
    Sivut146–151
    ISBN (painettu)978-1-4673-0107-7
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Symposium on High-Assurance Systems Engineering (HASE) - 13th International Symposium on High-Assurance Systems Engineering (HASE), 2011
    Kesto: 10 marraskuuta 201112 marraskuuta 2011

    Konferenssi

    KonferenssiInternational Symposium on High-Assurance Systems Engineering (HASE)
    Ajanjakso10/11/1112/11/11

    Viittausmuodot