Starten Sie Ihre Suche...


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

Viorica Sofronie-Stokkermans

Formale Methoden und Theoretische Informatik, Universität Koblenz
Forschungsprojekte
PDF | RTF

ab 2019

EnTrust (Teilprojekt 3: Erklärbarkeit)

2015 - 2025

Symbolelimination und Quantorenelimination und Anwendungen

2005 - 2025

Entscheidungsverfahren für komplexe logische Theorien

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)