Concurrent Scheduling of Event-B Models

Publiceringsår

2011

Upphovspersoner

Boström, Pontus; Degerlund, Fredrik; Sere, Kajsa; Waldén, Marina

Organisationer och upphovspersoner

Åbo Akademi

Degerlund Fredrik

Sere Kajsa

Waldén Marina

Boström Pontus

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal

15th International Refinement Workshop

Moderpublikationens namn

Electronic Proceedings in Theoretical Computer Science (EPTCS)

Moderpublikationens redaktörer

John Derrick; Eerke A. Boiten; Steve Reeves

Förläggare

Open Publishing Association

Volym

Nummer

NNNN

Sidor

166-182

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Ingen information

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Irland

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag