Supporting Formal Modelling in Event-B with Safety Cases

Iuliia Prokhorova, E Troubitsyna, Linas Laibinis

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the 4th Rodin User and Developer Workshop
    RedaktörerM Butler, S Hallerstede, M Waldén
    FörlagTurku Centre for Computer Science
    Sidor
    ISBN (elektroniskt)1797-8831
    ISBN (tryckt)978-952-12-2899-5
    StatusPublicerad - 2013
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangRodin User and Developer Workshop - 4th Rodin User and Developer Workshop
    Varaktighet: 10 jun 201311 jun 2013

    Konferens

    KonferensRodin User and Developer Workshop
    Period10/06/1311/06/13

    Citera det här