A Hardware Abstraction Layer in Java
Safety Critical Systems
Safety Critical Systems ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University.
Process
Fault Tolerance Fundamentals
Fault Tolerance Distributed
Dependability