1–6 von 6 Ergebnissen
|

    Modelchecking von Klassifikationsbaum-Testsequenzen

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

    Vorrichtung zum Warnen von Fussgängern oder Radfahrern vor sich nähernden schienen- oder energetisch gebundenen Fahrzeugen

    Freier Zugriff
    MÜLLER WOLFGANG / OCHONSKI THOMAS / FLEISCHER MAIK et al. | Europäisches Patentamt | 2018

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

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