Improving the Modelling Experience in Event-B

Improving the Modelling Experience in Event-B - A Literature Review

Publiceringsår

2018

Upphovspersoner

Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Walden

Organisationer och upphovspersoner

Åbo Akademi

Edmunds Andrew

Shokri-Manninen Fatima

Walden Marina

Olszewska Marta Orcid -palvelun logo

Publikationstyp

Publikationsform

Separat verk

Målgrupp

Facklig

UKM:s publikationstyp

D4 Publicerad utvecklings- eller forskningsrapport eller -utredning

Publikationskanalens uppgifter

Förläggare

Turku Center for Computer Science (TUCS)

Volym

1196

Öppen tillgång

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

Ja

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Ja

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Förlagets internationalitet

Inhemsk

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja

Improving the Modelling Experience in Event-B - A Literature Review - Forskning.fi