International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers - linking academia, business and industry through research

International Journal of Critical Computer-Based Systems

Pages	Title and author(s)
1-36	Applying 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.108668
37-73	Correctness enhancement: a pervasive software engineering paradigm Besma 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 infrastructures Andrea Tortorelli; Andrea Fiaschetti; Alessandro Giuseppi; Vincenzo Suraci; Roberto Germanà; Francesco Delli Priscoli DOI: 10.1504/IJCCBS.2020.108685