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

Iuliia Prokhorova, Elena Troubitsyna, Linas Laibinis

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på värdpublikationSoftware Engineering for Resilient Systems - 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
    RedaktörerA Gorbenko, A Romanovsky, V Kharchenko
    FörlagSpringer
    Sidor79–93
    ISBN (elektroniskt)978-3-642-40894-6
    ISBN (tryckt)978-3-642-40893-9
    DOI
    StatusPublicerad - 2013
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Workshop on Software Engineering for Resilient Systems, SERENE - 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013
    Varaktighet: 3 okt. 20134 okt. 2013

    Konferens

    KonferensInternational Workshop on Software Engineering for Resilient Systems, SERENE
    Period03/10/1304/10/13

    Citera det här