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
    PublisherTUCS
    Pages31–32
    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

    Conference

    ConferenceRodin User and Developer Workshop
    Period10/06/1311/06/13

    Cite this