94 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren
jump to filter-options94 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren
Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Elektronische Ressource, Paderborn, 2020Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017