Dieses Werk untersucht die Zuverlässigkeit computergestützter Systeme im Kernbereich, verbindet mathematische Modelle mit Risikoanalysen und liefert praxisorientierte Fallstudien für sichere Betriebskonzepte.