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
No comments:
Post a Comment
Note: only a member of this blog may post a comment.