Safety of Computer Architectures More Books Like This

Formal Methods Applied to Industrial Complex Systems

Fault-Tolerance Techniques for Spacecraft Control Computers

Fundamentals of Dependable Computing for Software Engineers

Embedded Systems

The MANTIS Book

Computational Intelligence Applications In Smart Grids: Enabling Methodologies For Proactive And Self-organizing Power Systems

Static Analysis of Software

Formal Methods for Industrial Critical Systems