Suche

grundlegend übermittelt. Die Studierenden führen hierbei entsprechende Programmierarbeiten, die Verifikation sowie die Dokumentation selbständig durch. Ansprechpartner: PD Dr.-Ing. habil. Thomas Hagemann

Forschungs- und Technologiezentrum der Deutschen Bahn AG, Minden 1997 - 2003: Leiter der Abteilung Verifikation und Versuche Festigkeit, DB Systemtechnik, Minden seit 07/2003: Ord. Professor an der Technischen

Problems und die Bestimmung der dabei verwendeten Parameter und Zustandsgleichungen, sowie die Verifikation und die Visualisierung der Resultate. Zwischen diesen Polen befinden sich eine Vielzahl weiterer

wirtschaftlichen Bedeutung für den Mittelstand noch über der "Industrie 4.0" angesiedelt wird. 2019 Verifikation Abgasnachbehandlung Reaktive Systeme sind für das Systems Engineering von besonderem Interesse […] Methoden zur Überprüfung der Korrektheit, insbesondere zum Testen, zur Simulation und zur formalen Verifikation. Das übergeordnete Ziel dieses Projekt ist es, formale Verifikationsmethoden zur Absicherung von

14th EDF/Pprime Workshop 2015, Poitiers, France Blumenthal, H., Schwarze, H. Modellierung und Verifikation praxisrelevanter Gleitlagereigenschaften MTZ 10/2015, Jahrgang 76, S. 78-85 Liebrecht, J., Sauer

Kommissionierung im Variantenbau eines Nutzfahrzeugherstellers MAN Truck & Bus AG M Entwicklung und Verifikation einer Methodik zur effizienten Zeitanalyse manufakturähnlicher Fertigungsprozesse BMW AG, Dingolfing

(Institut für Elektrische Informationstechnik), PD Dr. Christoph Knieke Vorwald, Andreas: Formale Verifikation von Reaktiven Systemen am Beispiel einer Fahrzeugfunktion 26. Mai 2020, 12:30 Uhr, per BBB Betreuer

M., Schlittenhardt, J.: Möglichkeiten der differentiellen SAR-Interferometrie (DInSAR) für die Verifikation des Comprehensive Nuclear-Test-Ban Treaty (CTBT). Vortrag 74. Jahrestagung der DPG und DPG Fr