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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings 15th International Refinement Workshop
Redaktörer	J Derrick, EA Boiten, S Reeves
Förlag	Open Publishing Association
Sidor	166–182
DOI	https://doi.org/10.4204/EPTCS.55.11
Status	Publicerad - 2011
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2011-06-20; 2011-06-20 - Varaktighet: 20 juni 2011 → 20 juni 2011

Konferens

Konferens	conference; 2011-06-20; 2011-06-20
Period	20/06/11 → 20/06/11

Åtkomst av dokument

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
Projekt: Finlands Akademi/Övriga Forskningsråd

Citera det här

@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",

}

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

Konferens

Åtkomst av dokument

Projekt

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Citera det här