An Extension of Event B for Developing Grid Systems

Pontus Boström, Marina Walden

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    4 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
    ToimittajatH Treharne, S King, M Henson, S Schneider
    KustantajaSpringer
    Sivut142–161
    ISBN (elektroninen)978-3-540-32007-4
    ISBN (painettu)978-3-540-25559-8
    DOI - pysyväislinkit
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2005-04-13; 2005-04-15 - 4th International Conference of B and Z Users
    Kesto: 13 huhtikuuta 200515 huhtikuuta 2005

    Konferenssi

    Konferenssiconference; 2005-04-13; 2005-04-15
    Ajanjakso13/04/0515/04/05

    Viittausmuodot