Projects of the R&D-Division Transportation

  Search  AND OR Extended search
close


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

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