Modelling “Operation-Calls” in Event-B with Shared-Event Composition
Julkaisuvuosi
2015
Tekijät
Andrew Edmunds; Marina Walden
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Erillisteos
Yleisö
Ammatillinen
OKM:n julkaisutyyppiluokitus
D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys
Julkaisukanavan tiedot
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Suomi
Kustantajan kansainvälisyys
Kotimainen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä