Starten Sie Ihre Suche...


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

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
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 - 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 - 2005

Mapping of Research in European Social Sciences and Humanities (MORESS)

2002 - 2005

SimWeb: Exploring Innovative eBusiness Models using Agent Simulation; A project funded by the European Commissions programme on Information Society Technologies 2002-2004; ;

2001 - 2008

Cross-Language Evaluation Forum (CLEF) in Kooperation mit dem Network of Excellence on Digital Libraries

2001 - 2003

Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup