
International Journal of Critical Computer-Based Systems
2020 Vol.10 No.1
Pages | Title and author(s) |
1-36 | Applying guidelines for system modelling in Event-B - a systematic literature reviewMarta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Waldén DOI: 10.1504/IJCCBS.2020.108668 |
37-73 | Correctness enhancement: a pervasive software engineering paradigmBesma Khaireddine; Marwa Ben AbdelAli; Lamia Labed Jilani; Aleksandr Zakharchenko; Ali Mili DOI: 10.1504/IJCCBS.2020.108670 |
74-94 | A security metric for assessing the security level of critical infrastructuresAndrea Tortorelli; Andrea Fiaschetti; Alessandro Giuseppi; Vincenzo Suraci; Roberto Germanà; Francesco Delli Priscoli DOI: 10.1504/IJCCBS.2020.108685 |