Promotionen in der Fakultät für Wirtschaftswissenschaften

Kohärenzprüfung von Verhaltensspezifikationen gegen spezifische Eigenschaften des operationellen Kontexts

Art der Arbeit:
Dissertation Informatik
    Status:
    Abgeschlossene Arbeit
    Verfasser:
    Weyer, Thorsten