Linking Modelling in Event-B with Safety Cases

Iuliia Prokhorova, Elena Troubitsyna

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    4 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoSoftware Engineering for Resilient Systems, 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    ToimittajatP Avgeriou
    KustantajaSpringer
    Sivut47–62
    ISBN (elektroninen)978-3-642-33176-3
    ISBN (painettu)978-3-642-33175-6
    DOI - pysyväislinkit
    TilaJulkaistu - 2012
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Workshop on Software Engineering for Resilient Systems - SERENE 2012: Software Engineering for Resilient Systems
    Kesto: 27 syyskuuta 201228 syyskuuta 2012

    Konferenssi

    KonferenssiInternational Workshop on Software Engineering for Resilient Systems
    Ajanjakso27/09/1228/09/12

    Viittausmuodot