Integrating FMEA into Event-B Development of Safety-Critical Control Systems

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)978-952-12-2476-8
    TilaJulkaistu - 2010
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot