Advanced Maintenance Policies for Shock and Damage Models

Data-Driven Technology for Engineering Systems Health Management Design Approach, Feature Construction, Fault Diagnosis, Prognosis, Fusion and Decisions

Resilient computer system design

Software Design for Resilient Computer Systems

Dependable Multicore Architectures at Nanoscale

Software Fault Detection and Correction: Modeling and Applications

Handbook of Model Checking

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Diagnosis and Fault-Tolerant Control

Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

Ternary Networks Reliability and Monte Carlo

Principles of Performance and Reliability Modeling and Evaluation Essays in Honor of Kishor Trivedi on his 70th Birthday