

Bewertung automatisch erkannter Instanzen von Software-Mustern
Elektronische Ressource, Paderborn, 2018

Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018
Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016




Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017


