307 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen307 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Jg. 3.1993 Poster session, 267 SeitenSpecification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Testing coherence and identifying winners in dueling bandits: theory and algorithms
Elektronische Ressource, Paderborn, 2023Time-efficient link discovery for data-driven applications
Elektronische Ressource, Paderborn, 2021Timing Verifikation von AUTOSAR Softwarearchitekturen
Elektronische Ressource, Paderborn, 2022A tool kit for knowledge based production planning systems
In: Database and expert systems applications, Jg. 1990, S. 84-89Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017