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

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko

    Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationDependability and Computer Engineering: Concepts for Software-Intensive Systems
    RedaktörerLuigia Petre, Kaisa Sere, Elena Troubitsyna
    FörlagInformation science reference IGI
    Sidor75–91
    ISBN (tryckt)9781609607470
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Citera det här