Bewertung automatisch erkannter Instanzen von Software-Mustern
Elektronische Ressource, Paderborn, 2018
Entwurf mechatronischer Systeme
Grundlagen, Methoden und Werkzeuge; Adaption, Selbstoptimierung und Verlässlichkeit ; Integration Mechanik und Elektronik, Miniaturisierung ; 10. Paderborner Workshop Entwurf mechatronischer Systeme, 23. und 24. April 2015 ; Heinz Nixdorf MuseumsForumElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2015
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
Heinz Nixdorf und die Universität Paderborn
Paderborn : [Präsidium der Univ.], 2015
Heinz Nixdorf und die Universität Paderborn
Elektronische Ressource, Paderborn : Präsidium der Universität, 2016

Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017
Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016
