1–8 von 8 Ergebnissen
|

    Modelchecking von Klassifikationsbaum-Testsequenzen

    Krupp, Alexander / Müller, Wolfgang | Tema Archiv | 2005

    Untersuchungen zum Öffnungs- und Schließgeräusch elektrisch betätigter PKW-Heckklappen

    Böhm, Günther / Foken, Wolfgang / Müller, Wolfgang et al. | Tema Archiv | 2007

    Development of automotive communication based real-time systems - a steer-by-wire case study

    Klobedanz, Kay / Kuznik, Christoph / Elfeky, Ahmed et al. | Tema Archiv | 2009

    Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme

    Becker, Markus / Zabel, Henning / Müller, Wolfgang et al. | Tema Archiv | 2009