Formal Transformation of Platform Independent Models into Platform Specific Models

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoB 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    ToimittajatJ Julliand, O Kouchnarenko
    KustantajaSpringer
    Sivut186–200
    ISBN (elektroninen)978-3-540-68761-0
    ISBN (painettu)978-3-540-68760-3
    DOI - pysyväislinkit
    TilaJulkaistu - 2007
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2007-01-17; 2007-01-19 - 7th International Conference of B Users
    Kesto: 17 tammikuuta 200719 tammikuuta 2007

    Konferenssi

    Konferenssiconference; 2007-01-17; 2007-01-19
    Ajanjakso17/01/0719/01/07

    Viittausmuodot