Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Fundamentals of Optimization Methods, Minimum Principles, and Applications for Making Things Better

Active System Control Design of System Resilience

Handbook of Model Checking

Initial Airworthiness Determining the Acceptability of New Airborne Systems

Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

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

Human Factors and Reliability Engineering for Safety and Security in Critical Infrastructures Decision Making, Theory, and Practice

Beyond Safety Training Embedding Safety in Professional Skills

Dependable Multicore Architectures at Nanoscale

Formal Methods for Safety and Security Case Studies for Aerospace Applications

Advances in Structural Integrity Proceedings of SICE 2016