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

Sergii Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the 4th Rodin User and Developer Workshop
    ToimittajatM Butler, S Hallerstede, M Walden
    KustantajaTUCS
    Sivut31–32
    ISBN (painettu)978-952-12-2899-5
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaRodin User and Developer Workshop - 4th Rodin User and Developer Workshop
    Kesto: 10 kesäkuuta 201311 kesäkuuta 2013

    Konferenssi

    KonferenssiRodin User and Developer Workshop
    Ajanjakso10/06/1311/06/13

    Viittausmuodot