Concurrent Scheduling of Event-B Models

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

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationProceedings 15th International Refinement Workshop
    EditorsJ Derrick, EA Boiten, S Reeves
    PublisherOpen Publishing Association
    Pages166–182
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2011-06-20; 2011-06-20 -
    Duration: 20 Jun 2011 → 20 Jun 2011

    Conference

    Conferenceconference; 2011-06-20; 2011-06-20
    Period20/06/11 → 20/06/11

    Access to Document

    • DIJON: Distributed Jointly Operating Networks (Academy of Finland)

      Walden, M. (Principal Investigator), Sere, K. (Co-Principal Investigator), Plosila, J. (Co-Principal Investigator), Sandvik, P. (Co-Investigator), Olszewska, M. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Dahlvik, M. (Co-Investigator), Wiik, J. (Co-Investigator), Laibinis, L. (Co-Investigator), Neovius, M. (Co-Investigator) & Lumme, K. (Co-Investigator)

      01/01/08 → 31/12/11

      Project: Research Council of Finland/Other Research Councils

    Cite this