Concurrent Scheduling of Event-B Models

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings 15th International Refinement Workshop
    ToimittajatJ Derrick, EA Boiten, S Reeves
    KustantajaOpen Publishing Association
    Sivut166–182
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2011-06-20; 2011-06-20 -
    Kesto: 20 kesäkuuta 201120 kesäkuuta 2011

    Konferenssi

    Konferenssiconference; 2011-06-20; 2011-06-20
    Ajanjakso20/06/1120/06/11

    Viittausmuodot