Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Forschungsprojekte
Ergebnisse pro Seite:  10

2004 - 2009

Menschenopfer

2004 - 2006

Regionale Entwicklungen über die deutsch-tschechische und finnisch-russische Grenze im Vergleich

2004 - 2005

The adaptation of cohesion policy to the enlarged Europe and the Lisbon and Gothenburg objectives after 2007

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2006

Telcert

2004 - 2006

Wiederverwendung fachkonzeptioneller Softwaremodelle für kleine und mittlere Softwareunternehmen durch adaptive, komponentenorientierte Referenzmodellierung: Konzept, Modellierungstechnik und Werkzeug (RefMod06)

2004 - 2015

Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)

2003 - 2006

Inhaltliche Ausgestaltung der Virtuellen Fachbibliothek Sozialwissenschaften (InhalteViBSoz)