Starten Sie Ihre Suche...


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

Prof. Dr. Viorica Sofronie-Stokkermans

Institut für Informatik, Universität Koblenz

Raum: B 225
  • 0261/287-2780
Forschungsprojekte
Ergebnisse pro Seite:  10

2004 - 2015

Automatisierte Verifikation kooperierender Verkehrssysteme (TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme)