International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2020 Vol.10 No.1


Pages Title and author(s)
1-36Applying guidelines for system modelling in Event-B - a systematic literature review
Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Waldén
DOI: 10.1504/IJCCBS.2020.10030617
37-73Correctness enhancement: a pervasive software engineering paradigm
Besma Khaireddine; Marwa Ben AbdelAli; Lamia Labed Jilani; Aleksandr Zakharchenko; Ali Mili
DOI: 10.1504/IJCCBS.2020.10030618
74-94A security metric for assessing the security level of critical infrastructures
Andrea Tortorelli; Andrea Fiaschetti; Alessandro Giuseppi; Vincenzo Suraci; Roberto Germanà; Francesco Delli Priscoli
DOI: 10.1504/IJCCBS.2020.10030622