Formal Transformation of Platform Independent Models into Platform Specific Models

Pontus Boström, Mats Neovius, Ian Oliver, Marina Walden

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

    Original languageUndefined/Unknown
    Title of host publicationB 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    EditorsJ Julliand, O Kouchnarenko
    PublisherSpringer
    Pages186–200
    ISBN (Electronic)978-3-540-68761-0
    ISBN (Print)978-3-540-68760-3
    DOIs
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2007-01-17; 2007-01-19 - 7th International Conference of B Users
    Duration: 17 Jan 200719 Jan 2007

    Conference

    Conferenceconference; 2007-01-17; 2007-01-19
    Period17/01/0719/01/07

    Cite this