Fault-tolerant computing

Architecting dependable systems by: (Language materials, printed)

Architecting dependable systems II by: (Language materials, printed)

NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Language materials, printed)

Computer systems - Reliability

Computer architecture

Fault-tolerant computing

Computer systems - Reliability

Computer architecture

Fault-tolerant computing

Software Engineering.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Computer software

Operating Systems.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Fault-tolerant computing

Computer Science.

System analysis