Buschermöhle, RalfBrörkens, MarkBrückner, IngoDamm, WernerHasselbring, WilhelmJosko, BernhardSchulte, ChristophWolf, Thomas2018-01-052018-01-0520042004https://dl.gi.de/handle/20.500.12116/10122Die Gewährleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. „sicherheitskritischen“ Systeme zu, bei dem ein Systemversagen Menschenleben gefährden kann.Text/Journal Article1432-122X