Skip to main content Skip to main navigation

Robotics Innovation Center

Publikationen

Seite 2 von 2.

  1. Christoph Lüth; Udo Frese; Holger Täubig; Dennis Walter; Daniel Hausmann

    SAMS: Sicherheitskomponente für Autonome Mobile Serviceroboter

    In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, …

  2. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

    Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

    In: Walid Maalej; Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen, …

Kontakt

Hauptgeschäftsstelle

Tel.: +49 421 1784 50
Fax: +49 421 1784 5415 0


Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Deutschland