Formal Verification of Stateful Services with REST APIs Using Event-B
Julkaisuvuosi
2018
Tekijät
Irum Rauf; Inna Vistbakka; Elena Troubitsyna
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
2018 IEEE International Conference on Web Services (ICWS)
Emojulkaisun nimi
Konferenssi
IEEE International Conference on Web Services (ICWS)
Sivut
131–138
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ICWS.2018.00024
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä