
Der Fokus der Arbeiten in der Forschungsgruppe ist die Entwicklung sicherer und kognitiv adäquater technischer Systeme. Unsere Forschung umfaßt das gesamte Spektrum von der Grundlagenforschung bis hin zur Werkzeug- und Systementwickung, und gliedert sich in die Bereiche formale Spezifikationstechnologien, sichere Systeme und kognitive Assistenzsysteme.
Besucheradresse:
DFKI Labor Sichere Kognitive Systeme
Enrique-Schmidt-Straße (Cartesium)
28359 Bremen
Homepage: http://www.dfki.de/sks
E-Mail: sks@dfki.de
Telefon Sekretariat: +49-421-218-64221
Fax Sekretariat: +49-421-218-9864221