VHDL Code Generation from Formal Event-B Models

  • Sergii Ostroumov
  • , Leonidas Tsiopoulos

    Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

    13 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 2001 → 2 Sept 2011

    Conference

    Conferenceuromicro Conference on Digital System Design (DSD)
    Period31/08/01 → 02/09/11

    Access to Document

    • DIJON: Distributed Jointly Operating Networks (Academy of Finland)

      Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)

      01/01/08 → 31/12/11

      Project: Research Council of Finland/Other Research Councils

    Cite this