An Extension of Event B for Developing Grid Systems

Pontus Boström, Marina Walden

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    4 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the 4th International Conference of B and Z users - ZB2005: Formal specification and Development in Z and B
    RedaktörerH Treharne, S King, M Henson, S Schneider
    FörlagSpringer
    Sidor142–161
    ISBN (elektroniskt)978-3-540-32007-4
    ISBN (tryckt)978-3-540-25559-8
    DOI
    StatusPublicerad - 2005
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2005-04-13; 2005-04-15 - 4th International Conference of B and Z Users
    Varaktighet: 13 apr 200515 apr 2005

    Konferens

    Konferensconference; 2005-04-13; 2005-04-15
    Period13/04/0515/04/05

    Citera det här