Starten Sie Ihre Suche...


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

Universität Koblenz

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

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)

2003 - 2005

Modellbasierte Prädikatenlogische Deduktion mit einer Anwendung im Dokumentenmanagement

2003 - 2010

Evaluation des Kriseninterventionszentrums (KRIZ) der Jugendhilfeeinrichtung Schloss Dilborn - Die Jugendhilfe

2003 - 2006

Lernen im Netz - Kompetenzentwicklung durch Induzierung kognitiver Konflikte mittels Internet und Multimedia in der Weiterbildung