Safety of Computer Architectures こちらもおすすめ

Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
2014年
Fault-Tolerance Techniques for Spacecraft Control Computers Fault-Tolerance Techniques for Spacecraft Control Computers
Fault-Tolerance Techniques for Spacecraft Control Computers
2017年
Fundamentals of Dependable Computing for Software Engineers Fundamentals of Dependable Computing for Software Engineers
Fundamentals of Dependable Computing for Software Engineers
2012年
Embedded Systems Embedded Systems
Embedded Systems
2019年
The MANTIS Book The MANTIS Book
The MANTIS Book
2022年
Computational Intelligence Applications In Smart Grids: Enabling Methodologies For Proactive And Self-organizing Power Systems Computational Intelligence Applications In Smart Grids: Enabling Methodologies For Proactive And Self-organizing Power Systems
Computational Intelligence Applications In Smart Grids: Enabling Methodologies For Proactive And Self-organizing Power Systems
2014年
Static Analysis of Software Static Analysis of Software
Static Analysis of Software
2013年
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012年