VHDL Code Generation from Formal Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    9 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoDigital System Design (DSD), 2011 14th Euromicro Conference on
    ToimittajatP Kitsos
    KustantajaIEEE
    Sivut127–134
    ISBN (painettu)978-1-4577-1048-3
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumauromicro Conference on Digital System Design (DSD) - 14th Euromicro Conference on Digital System Design (DSD), 2011
    Kesto: 31 elokuuta 20012 syyskuuta 2011

    Konferenssi

    Konferenssiuromicro Conference on Digital System Design (DSD)
    Ajanjakso31/08/0102/09/11

    Viittausmuodot