40 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI) 1
zu den Filteroptionen40 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
1
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 634-643Secure 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, 2016Simulating probabilistic by deterministic algebraic computation trees
In: Theoretical Computer Science, Jg. 1985, S. 325-330Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Elektronische Ressource, Paderborn, 2020Specification 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, 2024Speeding up random access machines by few processors
In: STACS 1986, Jg. 1986, S. 142-152Stereoskopische Korrespondenzbestimmung mit impliziter Detektion von Okklusionen
Elektronische Ressource, Paderborn, 2016 ;Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Supporting participative systems development by task-oriented requirements analysis
In: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Jg. 1987, S. 113-124Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334System level design
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 109-151A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019Systematik zum Einstieg in die Plattformökonomie
Elektronische Ressource, Paderborn, 2021