1–6 von 6 Ergebnissen
|

    Modelchecking von Klassifikationsbaum-Testsequenzen

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

    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