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 Current Completed
All 229 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
 

V-FORMAT

Verifying System Designs Using Formal Methods
Duration: 1997 - 1999

VAPA

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

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

VSEK

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