Int. J. Crit. Comput. Based Syst.

Keyphrases

Publications

volume 10, number 4, 2023

volume 10, number 3, 2022

volume 10, number 2, 2021

volume 10, number 1, 2020

volume 9, number 1/2, 2019

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy
AltaRica 3.0 in ten modelling patterns. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Peter T. Breuer, Jonathan P. Bowen
Fully encrypted high-speed microprocessor architecture: the secret computer in simulation. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Formal methods in dynamic software updating: a survey. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Harsimran Kaur, Ashish Sharma
A versatile approach for ranking and modelling of non-functional requirements. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Ugo Gentile, Luigi Serio
Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)

volume 9, number 3, 2019

volume 9, number 4, 2019

volume 8, number 1, 2018

volume 8, number 2, 2018

volume 8, number 3/4, 2018

volume 7, number 3, 2017

volume 7, number 4, 2017