1–10 von 247 Ergebnissen
|

    Standardisierung und Innovationen im Bordnetz

    Erich, Edmund | Tema Archiv | 2007
    Schlagwörter: Systembeschreibung

    A formal approach for deriving collective from individual risk in railway systems

    Kurz, S.L. | Tema Archiv | 2007
    Schlagwörter: Systembeschreibung

    Automatic instantiation for railway interlocking systems

    Banci, M. / Gnesi, S. | Tema Archiv | 2007
    Schlagwörter: Systembeschreibung

    Generation of counterexamples for Multi-Object Systems

    Kollmann, M. / Hon, Y.M. | Tema Archiv | 2007
    Schlagwörter: Systembeschreibung

    Enhancing ACC stop&go with digital map information

    Justus, W. / Schulz, R. / Köhler, M. | Tema Archiv | 2007
    Schlagwörter: Systembeschreibung

    Real-time detection of pathological traffic situations via AIS

    Pagnoni, Anastasia / Visconti, Andrea | Tema Archiv | 2006
    Schlagwörter: Systembeschreibung

    Multiple software product lines in automotive software development

    Beher, Uwe / Bönisch, Günter / Heidrich, Mike | Tema Archiv | 2008
    Schlagwörter: Systembeschreibung

    Automated dispatching of train operations using discrete optimisation method

    Wegele, Stefan / Schnieder, Eckehard | Tema Archiv | 2006
    Schlagwörter: Systembeschreibung

    Regionales Content Providing in der Verkehrstelematik

    Kirschfink, Heribert | Tema Archiv | 2005
    Schlagwörter: Systembeschreibung

    Logische Analyse offener Kommunikationsarchitekturen für Kraftfahrzeuge

    Gläser, Stefan | Tema Archiv | 2007
    Schlagwörter: Systembeschreibung