Navigation
 
Artikelaktionen
Deutsch English

Projekte

laufend

  • LATIN (Logic Atlas & Integrator )
  • RESCAR (2.0) (Robuster Entwurf von neuen Elektronikkomponenten fĂĽr Anwendungen im Bereich Elektromobilität)
  • SHIP (Semantic Integration of Heterogenous Processes)
  • SIMPLE (Semantisch fundierte Implementierung klinischer Leitlinien)
  • SiSSY (Software Engineering for Spreadsheet Interaction)

abgeschlossen

  • AWE (Abstraktion und Wiederverwendung Formaler Entwicklungen )
  • FormalSafe (Formale Entwicklung fĂĽr Sichere Robotik)
  • GenMod (Generische Algorithmen und Komplexitätsschranken fĂĽr Koalgebraische Modallogiken)
  • HasCASL (HasCASL)
  • Hets (Heterogeneous Tool Set )
  • MMISS (Multimedia - Instruktion in Sicheren Systemen )
  • PGKit (Generische Benutzerschnittstellen fĂĽr interaktive Theorembeweiser )
  • SAMS (Sicherungskomponente fĂĽr Autonome Mobile Systeme )
  • SATCloud (Sichere und hochverfĂĽgbare Vertrauenskontexte fĂĽr Mixed-Cloud-Szenarien)
  • SHARE-it (Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies)
  • SPP RoboCup (Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen )