undefined

Formal Verification of Stateful Services with REST APIs Using Event-B

Publiceringsår

2018

Upphovspersoner

Irum Rauf; Inna Vistbakka; Elena Troubitsyna

Organisationer och upphovspersoner

Åbo Akademi

Troubitsyna Elena

Vistbakka Inna

Rauf Irum

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal/Serie

2018 IEEE International Conference on Web Services (ICWS)

Konferens

IEEE International Conference on Web Services (ICWS)

Sidor

131–138

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.1109/ICWS.2018.00024

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja