38 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI) KlassifikationSchliessenFilter1
zu den Filteroptionen38 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
Klassifikation
Schliessen
Filter
1
Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, JoelElektronische Ressource, Paderborn, 2019SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikKeil-Slawik, ReinhardIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 634-643Secure use of open-source software
a systematic study and techniques for JavaDann, Andreas Peter ; Bodden, Eric ; Hermann, BenElektronische Ressource, Paderborn, 2024Selfish network creation
on variants of network creation gamesCord-Landwehr, Andreas ; Meyer auf der Heide, Friedhelm ; Skopalik, AlexanderElektronische Ressource, Paderborn, 2016Simulating probabilistic by deterministic algebraic computation trees
Meyer auf der Heide, FriedhelmIn: Theoretical Computer Science, Jg. 1985, S. 325-330Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Artmann, Matthias ; Sommer, Christoph ; Meyer auf der Heide, FriedhelmElektronische Ressource, Paderborn, 2020Specification and verification for real-time coordination protocols of cyber-physical systems
Dziwok, Stefan ; Schäfer, Wilhelm ; Tichy, MatthiasElektronische Ressource, Paderborn, 2017Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Koch, Thorsten ; Bodden, Eric ; Jager, TiborElektronische Ressource, Paderborn, 2024Speeding up random access machines by few processors
Meyer auf der Heide, FriedhelmIn: STACS 1986, Jg. 1986, S. 142-152Stereoskopische Korrespondenzbestimmung mit impliziter Detektion von Okklusionen
Trapp, Ralph ; Hartmann, Georg ; Rückert, UlrichElektronische Ressource, Paderborn, 2016 ;Structured parallel programming with a highly concurrent programming language
Rammig, Franz JosefIn: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Supporting participative systems development by task-oriented requirements analysis
Keil-Slawik, ReinhardIn: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Jg. 1987, S. 113-124Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
Rammig, Franz JosefIn: The synthesis approach to digital system design, Jg. 1992, S. 303-334System level design
Rammig, Franz JosefIn: Fundamentals and standards in hardware description languages, Jg. 1993, S. 109-151A systematic analysis and hardening of the Java security architecture
Holzinger, Philipp Albert ; Bodden, EricElektronische Ressource, Paderborn, 2019Systematik zum Einstieg in die Plattformökonomie
Drewel, Marvin ; Gausemeier, Jürgen ; Lindemann, UdoElektronische Ressource, Paderborn, 2021Systematik zur Digitalisierung von Produktprogrammen
Echterfeld, Julian ; Gausemeier, Jürgen ; Lindemann, UdoElektronische Ressource, Paderborn, 2021