100 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik 1
zu den Filteroptionen100 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
1

Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024

Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019


Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Elektronische Ressource, Paderborn, 2017
Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016
Time-efficient link discovery for data-driven applications
Elektronische Ressource, Paderborn, 2021

Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017

Towards the MaSHReC manufacturing system under real time constraints
a contribution to the application of real time system advances to production control systems2002

User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019



Wissensmanagement in Beratungsprojekten auf Basis innovativer Informations- und Kommunikationstechnologien
das System K 3 ; Konzeption, Entwicklung und Implementierung eines Wissensmanagementsystems für Beratungsunternehmen sowie empirische Einsatzerfahrungen im Inhouse Consulting der BMW AG2000
