Formal Transformation of Platform Independent Models into Platform Specific Models

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationB 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    RedaktörerJ Julliand, O Kouchnarenko
    FörlagSpringer
    Sidor186–200
    ISBN (elektroniskt)978-3-540-68761-0
    ISBN (tryckt)978-3-540-68760-3
    DOI
    StatusPublicerad - 2007
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2007-01-17; 2007-01-19 - 7th International Conference of B Users
    Varaktighet: 17 jan 200719 jan 2007

    Konferens

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

    Citera det här