International Journal of Critical Computer-Based Systems
Latest Publications

TOTAL DOCUMENTS

202
(FIVE YEARS 41)

H-INDEX

9
(FIVE YEARS 2)

Published By Inderscience Enterprises Ltd.

1757-8787, 1757-8779
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Compositional Verification of Synchronous Reactive Systems

2021 ◽  
Vol 10 (2) ◽  
pp. 1
Author(s):  
Mohamed Mezghiche ◽  
Rabéa Ameur Boulifa ◽  
Sarah Chabane
Keyword(s):  
Reactive Systems ◽  
Compositional Verification

Towards compositional verification of synchronous reactive systems

2021 ◽  
Vol 10 (2) ◽  
pp. 120
Author(s):  
Sarah Chabane ◽  
Rabéa Ameur Boulifa ◽  
Mezghiche Mohamed
Keyword(s):  
Reactive Systems ◽  
Compositional Verification

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

2020 ◽  
Vol 10 (1) ◽  
pp. 1
Author(s):  
Marta Olszewska ◽  
Fatima Shokri Manninen ◽  
Andrew Edmunds ◽  
Marina Waldén
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
System Modelling

scholarly journals A security metric for assessing the security level of critical infrastructures

2020 ◽  
Vol 10 (1) ◽  
pp. 74
Author(s):  
Francesco Delli Priscoli ◽  
Vincenzo Suraci ◽  
Roberto Germanà ◽  
Alessandro Giuseppi ◽  
Andrea Tortorelli ◽  
...  
Keyword(s):  
Critical Infrastructures ◽  
Security Level

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

2020 ◽  
Vol 10 (1) ◽  
pp. 1
Author(s):  
Marina Waldén ◽  
Andrew Edmunds ◽  
Fatima Shokri Manninen ◽  
Marta Olszewska
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
System Modelling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document