VHDL Code Generation from Formal Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    9 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationDigital System Design (DSD), 2011 14th Euromicro Conference on
    RedaktörerP Kitsos
    FörlagIEEE
    Sidor127–134
    ISBN (tryckt)978-1-4577-1048-3
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemanguromicro Conference on Digital System Design (DSD) - 14th Euromicro Conference on Digital System Design (DSD), 2011
    Varaktighet: 31 aug 20012 sep 2011

    Konferens

    Konferensuromicro Conference on Digital System Design (DSD)
    Period31/08/0102/09/11

    Citera det här