Modelling “Operation-Calls” in Event-B with Shared-Event Composition

Publiceringsår

2015

Upphovspersoner

Andrew Edmunds; Marina Walden

Organisationer och upphovspersoner

Åbo Akademi

Walden Marina

Edmunds Andrew

Publikationstyp

Publikationsform

Separat verk

Målgrupp

Facklig

UKM:s publikationstyp

D4 Publicerad utvecklings- eller forskningsrapport eller -utredning

Publikationskanalens uppgifter

ISBN

978-952-12-3292-3

Öppen tillgång

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

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Finland

Förlagets internationalitet

Inhemsk

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag