Homomorphic Encryption and Applications

From Fault Classification to Fault Tolerance for Multi-Agent Systems

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

Software Fault Detection and Correction: Modeling and Applications

Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

Guide to Automotive Connectivity and Cybersecurity Trends, Technologies, Innovations and Applications

Domain Specific High-Level Synthesis for Cryptographic Workloads

Deep Learning Applications for Cyber Security

Cybersecurity and Secure Information Systems Challenges and Solutions in Smart Environments

Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

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

Handbook of Model Checking

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

Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance

Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Dependable Multicore Architectures at Nanoscale

Logical Foundations of Cyber-Physical Systems

Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, 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

Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains

Managing the Continuum: Certainty, Uncertainty, Unpredictability in Large Engineering Projects

Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen

Introduction to Risk and Uncertainty in Hydrosystem Engineering

The Secure Information Society Ethical, Legal and Political Challenges

Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday

Stochastic Modeling for Reliability Shocks, Burn-in and Heterogeneous populations

Ship and Offshore Structure Design in Climate Change Perspective

Software Product Quality Control

Resilience Assessment and Evaluation of Computing Systems

Risk Management Technologies With Logic and Probabilistic Models

Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders

Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems

Model-Driven Risk Analysis The CORAS Approach

Dependability of Networked Computer-based Systems

Statistics for Innovation Statistical Design of “Continuous” Product Innovation

Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists

Manufacturing Execution Systems — MES