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. (Vastuullinen tutkija), Sere, K. (CoPI), Plosila, J. (CoPI), Sandvik, P. (CoI), Olszewska, M. (CoI), Tsiopoulos, L. (CoI), Dahlvik, M. (CoI), Wiik, J. (CoI), Laibinis, L. (CoI), Neovius, M. (CoI) & Lumme, K. (CoI)
01/01/08 → 31/12/11
Projekti: Research Council 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