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

Sergii Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

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

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 4th Rodin User and Developer Workshop
    EditorsM Butler, S Hallerstede, M Walden
    ISBN (Print)978-952-12-2899-5
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication
    EventRodin User and Developer Workshop - 4th Rodin User and Developer Workshop
    Duration: 10 Jun 201311 Jun 2013


    ConferenceRodin User and Developer Workshop

    Cite this