294 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
zu den Filteroptionen294 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
Simulation von Cyber-Physischen Produktionssystemen in einer Forschungsinfrastruktur
In: Fachtagung Mechatronik 2019, S. 149-154Elektronische Ressource,
Simulative 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-64Software-Entwicklung als Lernprozeß
In: Arbeitsrecht im Betrieb, Jg. 1993, S. 507-514Softwaretechnik
Defizite und Chancen aus BenutzersichtIn: Software : Schnittstelle zwischen Mensch und Maschine (Informations- und Kommunikationstechnik : 1), Jg. 1989, S. 89-104Specification 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-152Spezifikationstechnik 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, 2018Stereoskopische Korrespondenzbestimmung mit impliziter Detektion von Okklusionen
Elektronische Ressource, Paderborn, 2016 ;Strategische Planung in Plattformen und Eco-Systemen mittels Szenario-Technik
In: Fachtagung Mechatronik 2019, S. 127-132Elektronische Ressource,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-151System level simulation concepts
In: Modelling and Simulation: proceedings of the 1990 European Simulation Multiconference, June 10-13, Jg. 1990, S. 717-722A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019