Software safety: why, what, and how
ACM Computing Surveys (CSUR)
On hierarchical design of computer systems for critical applications
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
From defects to failures: a view of dependable computing
ACM SIGARCH Computer Architecture News - Special Issue: Architectural Support for Operating Systems
| Hi-index | 0.00 |