All Projects at OFFIS

Here you can have a look at all OFFIS projects listed from A-Z, which were realized at OFFIS up to now.

 Furthermore, you have the possibility to sort the projects according to the criteria "Current" and "Completed".

 

  Search  AND OR Extended search
close


All 310 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

V-FORMAT

Verifying System Designs Using Formal Methods
Duration: 1997 - 1999

VAPA

Verifikation moderner Prozessor-Architekturen (sorry - only available in German)
Duration: 1999 - 2001

VASCO

Verification Models for Advanced Human-Automation Interaction in Safety Critical Flight ...
Duration: 2013 - 2014

VERA - VERNETZT UND AKTIV

Die digitale Gesundheitsbegleitung
Duration: 2013 - 2015

VERISOFT

Formal Verification as Engineering Science
Duration: 2005 - 2007

Versatile Integrated Payphone


Duration: 2000 - 2002

ViP-Gen

Virtuelles Praktikum Gentechnik (sorry - only available in German)
Duration: 2001 - 2003

VirtLab

Werkzeuge zur Entwicklung virtueller Labore (sorry - only available in German)
Duration: 2000 - 2002

VISEK

Kompetenzzentrum Engineering sicherheitskritischer Systeme (sorry - only available in German)
Duration: 2001 - 2003

VISION

Distributed Integrated Systems and Network Architectures for the Application Domains ...
Duration: 2006 - 2009

VisKoo

Architekturvisualisierung als Grundlage für ein kooperatives Architekturmanagement (sorry ...
Duration: 2011 - open

VSEK

Virtuelles Software-Engineering-Kompetenznetz (sorry - only available in German)
Duration: 2004 - 2007