Free sample articles newly available from International Journal of Critical Computer-Based Systems

The following sample articles from the International Journal of Critical Computer-Based Systems are now available here for free:

• AltaRica 3.0 in ten modelling patterns
• Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study
• Formal methods in dynamic software updating: a survey
• A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
• Fully encrypted high-speed microprocessor architecture: the secret computer in simulation
• A versatile approach for ranking and modelling of non-functional requirements