76 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
zu den Filteroptionen76 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
Schwingungsanalyse von instationären Wälzlagern in Continuous Motion Maschinen
In: Fachtagung Mechatronik 2019, S. 161-166Elektronische Ressource, Paderborn : Universitätsbibliothek, 2019SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 634-6432009Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn, 2016Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn : Heinz Nixdorf Institut Paderborn, Universität Paderborn, 2016, ©2016Simulating probabilistic by deterministic algebraic computation trees
In: Theoretical Computer Science, Jg. 1985, S. 325-3302009Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen
In: Fachgespräche auf der 14. GI-Jahrestagung, Jg. 1984, S. 28-362009Simulation von Cyber-Physischen Produktionssystemen in einer Forschungsinfrastruktur
In: Fachtagung Mechatronik 2019, S. 149-154Elektronische Ressource, Paderborn : Universitätsbibliothek, 2019Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Elektronische Ressource, Paderborn, 2020Sind Computer lebendig?
Eine kritische LiteraturuntersuchungIn: Computer-Magazin, Jg. 3.1986, S. 63-642009Softwaretechnik
Defizite und Chancen aus BenutzersichtIn: Software : Schnittstelle zwischen Mensch und Maschine (Informations- und Kommunikationstechnik : 1), Jg. 1989, S. 89-1042009Specification 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, 2024Spezifikationstechnik zur Beschreibung und Analyse von Wertschöpfungssystemen
Elektronische Ressource, Paderborn, 2018Spezifikationstechnik zur Beschreibung und Analyse von Wertschöpfungssystemen
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2018