Formal Verification of Stateful Services with REST APIs Using Event-B
Publiceringsår
2018
Upphovspersoner
Irum Rauf; Inna Vistbakka; Elena Troubitsyna
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal/Serie
2018 IEEE International Conference on Web Services (ICWS)
Moderpublikationens namn
Konferens
IEEE International Conference on Web Services (ICWS)
Sidor
131–138
ISBN
Ö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