Concurrent Scheduling of Event-B Models

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

doi:10.4204/EPTCS.55.11

Concurrent Scheduling of Event-B Models

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings 15th International Refinement Workshop
Toimittajat	J Derrick, EA Boiten, S Reeves
Kustantaja	Open Publishing Association
Sivut	166–182
DOI - pysyväislinkit	https://doi.org/10.4204/EPTCS.55.11
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2011-06-20; 2011-06-20 - Kesto: 20 kesäk. 2011 → 20 kesäk. 2011

Konferenssi

Konferenssi	conference; 2011-06-20; 2011-06-20
Ajanjakso	20/06/11 → 20/06/11

Pääsy asiakirjaan

10.4204/EPTCS.55.11

http://arxiv.org/pdf/1106.4100.pdf

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Projekti: Academy of Finland/Other Research Councils

Viittausmuodot

@inproceedings{d26600963e3142b0aaa5de5d3828b6bb,

title = "Concurrent Scheduling of Event-B Models",

author = "Pontus Bostr{\"o}m and Fredrik Degerlund and Kaisa Sere and Marina Walden",

year = "2011",

doi = "10.4204/EPTCS.55.11",

language = "Odefinierat/ok{\"a}nt",

pages = "166–182",

editor = "J Derrick and EA Boiten and S Reeves",

booktitle = "Proceedings 15th International Refinement Workshop",

publisher = "Open Publishing Association",

note = "conference; 2011-06-20; 2011-06-20 ; Conference date: 20-06-2011 Through 20-06-2011",

}

Concurrent Scheduling of Event-B Models. / Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa et al.
Proceedings 15th International Refinement Workshop. toim. / J Derrick; EA Boiten; S Reeves. Open Publishing Association, 2011. s. 166–182.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Concurrent Scheduling of Event-B Models

AU - Boström, Pontus

AU - Degerlund, Fredrik

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2011

Y1 - 2011

U2 - 10.4204/EPTCS.55.11

DO - 10.4204/EPTCS.55.11

M3 - Konferensbidrag

SP - 166

EP - 182

BT - Proceedings 15th International Refinement Workshop

A2 - Derrick, J

A2 - Boiten, EA

A2 - Reeves, S

PB - Open Publishing Association

T2 - conference; 2011-06-20; 2011-06-20

Y2 - 20 June 2011 through 20 June 2011

ER -

Concurrent Scheduling of Event-B Models

Konferenssi

Pääsy asiakirjaan

Projektit

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Viittausmuodot