23 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren 2
zu den Filteroptionen23 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Spezielle Computerverfahren
2
Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Elektronische Ressource, Paderborn, 2020
Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017