Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Forschungsprojekte
PDF | RTF
Ergebnisse pro Seite:  10

2005 - 2025

Entscheidungsverfahren für komplexe logische Theorien

2005 - 2006

Komplexitätsmanagement für die Konstruktion und Anwendung adaptiver Referenzmodelle (KompAdRe)

2004 - 2007

Modellierung sozialen Wandels in Neuseeland: sozialwissenschaftliche Simulation, angewandt auf Zensusdaten

2004 - 2006

Kompetenznetzwerk zur Einführung moderner IuK-Technologien in der tertiären Ausbildung im Bereich Simulation sozialer Systeme

2004 - 2006

Systemmodernisierung im Universitätsmanagement

2004 - 2007

Kompetenznetzwerke. Neue Dienste, Standardisierung, Metadaten. Teilprojekt: Modellbildung und Heterogenitätsbehandlung

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 - 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)