Sample articles

You can read all of these full-text articles free of charge - click

International Journal of Critical Computer-Based Systems

Title	Author(s)	Vol. and Issue nos.	Page nos.	Full-text article
AltaRica 3.0 in ten modelling patterns	Michel Batteux; Tatiana Prosvirnova; Antoine B. Rauzy	Vol.9 No.1/2	133-165
Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study	Ugo Gentile; Luigi Serio	Vol.9 No.1/2	115-132
Formal methods in dynamic software updating: a survey	Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet	Vol.9 No.1/2	76-114
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B	Giles Howard; Michael Butler; John Colley; Vladimiro Sassone	Vol.9 No.1/2	56-75
Fully encrypted high-speed microprocessor architecture: the secret computer in simulation	Peter T. Breuer; Jonathan P. Bowen	Vol.9 No.1/2	26-55
A versatile approach for ranking and modelling of non-functional requirements	Harsimran Kaur; Ashish Sharma	Vol.9 No.1/2	3-25