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. (Ansvarig forskare), 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
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