Logo des Repositoriums

Band 27 - Heft 2 (April 2004)

https://dl.gi.de/handle/20.500.12116/16125
Auflistung nach:

Auflistung Band 27 - Heft 2 (April 2004) nach Autor:in "Brückner, Ingo"

1 - 1 von 1
  • Zeitschriftenartikel
    Model Checking
    (Informatik-Spektrum: Vol. 27, No. 2, 2004) Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
    Die 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.