< Back to search results

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

Year of publication

2020

Authors

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

Organizations and authors

Åbo Akademi University

Edmunds Andrew

Shokri-Manninen Fatima

Walden Marina

Olszewska Marta

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Data article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal/Series

International Journal of Critical Computer-Based Systems

Volume

10

Issue

1

Pages

1–36

ISSN

Publication forum

Publication forum level

1

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

DOI

10.1504/IJCCBS.2020.108668

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes