A Case Study in Refinement-Based Modelling of a Resilient Control System

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoSoftware Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
    ToimittajatA Gorbenko, A Romanovsky, V Kharchenko
    KustantajaSpringer
    Sivut79–93
    ISBN (elektroninen)978-3-642-40894-6
    ISBN (painettu)978-3-642-40893-9
    DOI - pysyväislinkit
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Workshop on Software Engineering for Resilient Systems, SERENE - 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013
    Kesto: 3 lokakuuta 20134 lokakuuta 2013

    Konferenssi

    KonferenssiInternational Workshop on Software Engineering for Resilient Systems, SERENE
    Ajanjakso03/10/1304/10/13

    Viittausmuodot