A new approach to modeling the system reliability: dynamic reliability block diagrams

Cut Sequence Set Generation for Fault Tree Analysis

ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems

Formal semantics and verification of dynamic reliability block diagrams for system reliability modeling

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications

Fault tree analysis in city lifeline system operations and management-theory and application

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human

A2thOS: availability analysis and optimisation in SLAs

International Journal of Network Management

System reliability calculation based on the run-time analysis of ladder program

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering