×
Starten Sie Ihre Suche...
SciPort
RLP
Login
Newsletter
Über uns
EN
Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden.
OK
Weitere Informationen
Formale Methoden und Theoretische ...
Projekte
Formale Methoden und Theoretische Informatik
Institut für Informatik
/
Universität Koblenz
2 ForscherInnen
5 Projekte
81 Publikationen
Forschungsprojekte
PDF
|
RTF
ab 2019
EnTrust (Teilprojekt 3: Erklärbarkeit)
Viorica Sofronie-Stokkermans
ab 2015
Symbolelimination und Quantorenelimination und Anwendungen
Viorica Sofronie-Stokkermans
ab 2005
Entscheidungsverfahren für komplexe logische Theorien
Viorica Sofronie-Stokkermans
2004 - 2015
Über Realzeitautomaten hinaus (Teilprojekt TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Viorica Sofronie-Stokkermans
2004 - 2015
Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)
Viorica Sofronie-Stokkermans
Fragen? Anregungen? Lob oder Kritik?
×
Haben Sie Fragen, einen Fehler gefunden oder einen Vorschlag wie wir SciPort verbessern können? Dann senden Sie uns eine Nachricht über das Kontaktformular. Wir werden uns schnellstmöglich darum kümmern.
Bitte tragen Sie Ihre korrekte E-Mail Adresse ein
Bitte tragen Sie Ihre Nachricht ein
Ihre Email-Adresse:
Ihre Nachricht:
Vielen Dank für Ihre Nachricht.
Ihre E-Mail wurde erfolgreich gesendet...