Derivation of Structural VHDL from Component-Based Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

    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 Walden
    FörlagTUCS
    Sidor31–32
    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