Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Some principles and techniques for designing safe systems
ACM SIGSOFT Software Engineering Notes
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Determining role rights from use cases
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
A Fail-Safe Interlocking System for Railways
IEEE Design & Test
Responsive Protocols for Distributed Multimedia Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
| Hi-index | 0.02 |