Auflistung nach Autor "Nowotka, Dirk"
Anzeige der Dokumente 1-5 von 5
-
Defining requirements on domain-specific languages in model-driven software engineering of safety-critical systems
Wasilewski, Michael; Hasselbring, Wilhelm; Nowotka, Dirk
467-482 -
Formal software verification for the migration of embedded code from single- to multicore systems
Ehlers, Thorsten; Nowotka, Dirk; Sieweck, Philipp; Traub, Johannes
137-142 -
Klassifikationsbäume in Echtzeit
Leucker, Martin; Löser, Moritz; Nowotka, Dirk; Rischen, Joachim
-
MEMICS - memory interval constraint solving of (concurrent) machine code
Nowotka, Dirk; Traub, Johannes
69-83 -
Methode zur Bewertung der Risikobilanz autonomer Fahrzeuge aus Sicht von Fahrzeughaltern
Potdevin, Yannik; Nowotka, Dirk
56-69