Dependable computer systems

The objective of the book is twofold: 1. To offer a textbook for computer science students to prepare them to design in the future reliable, safe and secure computer systems as engineers. 2. To describe some new research methods, developed by the author, applicable in the practice of an electrical engineer.