Special issue published: "Methods and Tools for Assurance of Critical Infrastructure Protection"
International Journal of Critical Computer-Based Systems 9(1/2) 2019
- A versatile approach for ranking and modelling of non-functional requirements
- Fully encrypted high-speed microprocessor architecture: the secret computer in simulation
- A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
- Formal methods in dynamic software updating: a survey
- Survey on international standards and best practices for patch management of complex industrial control systems: the critical infrastructure of particle accelerators case study
Additional paper
- AltaRica 3.0 in ten modelling patterns
No comments:
Post a Comment