VHDL Code Generation from Formal Event-B Models

Sergii Ostroumov, Leonidas Tsiopoulos

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationDigital System Design (DSD), 2011 14th Euromicro Conference on
    EditorsP Kitsos
    PublisherIEEE
    Pages127–134
    ISBN (Print)978-1-4577-1048-3
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    Eventuromicro Conference on Digital System Design (DSD) - 14th Euromicro Conference on Digital System Design (DSD), 2011
    Duration: 31 Aug 20012 Sep 2011

    Conference

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

    Cite this