Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Walden

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    1 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings 15th International Refinement Workshop
    RedaktörerJ Derrick, EA Boiten, S Reeves
    FörlagOpen Publishing Association
    Sidor166–182
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2011-06-20; 2011-06-20 -
    Varaktighet: 20 jun 201120 jun 2011

    Konferens

    Konferensconference; 2011-06-20; 2011-06-20
    Period20/06/1120/06/11

    Citera det här