

Beschreibung
Die aktuelle Frage nach der Zuverlässigkeit von programmgestützten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie bsw. der Notfallmedizin oder dem Betrieb von Kraftwerken, möglichst präzise Anworten. In diesem Buch wird das Spektrum der...