Development of Safety-Critical Control Systems in Event-B Using FMEA

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaLukuTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoDependability and Computer Engineering: Concepts for Software-Intensive Systems
    ToimittajatLuigia Petre, Kaisa Sere, Elena Troubitsyna
    KustantajaInformation science reference IGI
    Sivut75–91
    ISBN (painettu)9781609607470
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

    Viittausmuodot