Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basiseines integrierten Mensch-Maschine-Modells

Andreas Lüdtke. Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basiseines integrierten Mensch-Maschine-Modells. In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2004. Volume D-5 of LNI, pages 115-124, GI, 2004. [doi]

Abstract

Abstract is missing.