< Tillbaka till sökresultaten

Applying guidelines for system modelling in Event-B: A systematic literature review

Publiceringsår

2020

Upphovspersoner

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

Organisationer och upphovspersoner

Edmunds Andrew

Shokri-Manninen Fatima

Walden Marina

Olszewska Marta

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En dataartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal/Serie

International Journal of Critical Computer-Based Systems

Volym

10

Nummer

1

Sidor

1–36

ISSN

Publikationsforum

Publikationsforumsnivå

1

Öppen tillgång

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

Nej

Parallellsparad

Ja

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1504/IJCCBS.2020.108668

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja