Projekte

Hier die Ausgabe Ihrer Suche - bereits vorsortiert nach allgemeinen Inhalten, Personen, Projekte und Publikationen - wählen Sie einfach den jeweiligen Reiter an.

V

V-FORMAT

Verifying System Designs Using Formal Methods

Laufzeit: 1997 - 1999

VAPA

Verifikation moderner Prozessor-Architekturen

Laufzeit: 1999 - 2001

VASCO

Verification Models for Advanced Human-Automation Interaction in Safety Critical Flight Operations

Laufzeit: 2013 - 2014

VERA - VERNETZT UND AKTIV

Die digitale Gesundheitsbegleitung

Laufzeit: 2013 - 2015

VERISOFT

Beweisen als Ingenieurwissenschaft

Laufzeit: 2005 - 2007

Versatile Integrated Payphone

Laufzeit: 2000 - 2002

ViP-Gen

Virtuelles Praktikum Gentechnik

Laufzeit: 2001 - 2003

VirtLab

Werkzeuge zur Entwicklung virtueller Labore

Laufzeit: 2000 - 2002

VISEK

Kompetenzzentrum Engineering sicherheitskritischer Systeme

Laufzeit: 2001 - 2003

VISION

Verteilte integrierte Systeme und Netzwerkarchitekturen für die Applikationsdomänen Automobil und Mobilkommunikation

Laufzeit: 2006 - 2009

VisKoo

Architekturvisualisierung als Grundlage für ein kooperatives Architekturmanagement

Laufzeit: 2011 - 2014

VSEK

Virtuelles Software-Engineering-Kompetenznetz

Laufzeit: 2004 - 2007