Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems


    Beteiligte:
    Magnien, Airy (Autor:in) / Cecchetti, Gabriele (Autor:in) / Ruscelli, Anna Lina (Autor:in) / Hyde, Paul (Autor:in) / Liu, Jin (Autor:in) / Wegele, Stefan (Autor:in)

    Kongress:

    Reliability, safety, and security of railway systems (4th international conference)



    Erscheinungsdatum :

    2022-01-01


    Format / Umfang :

    11 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Satellite Systems for Next Generation Air Traffic Management

    Galati, G. / Perrotta, G. | British Library Online Contents | 1995


    Satellite Systems for Next Generation Air Traffic Management

    Galati, G. / Perrotta, G. / European Space Agency et al. | British Library Conference Proceedings | 1995


    Next Generation Architecture for Air Traffic Management Systems

    C. Tomlin / G. Pappas / J. Lygeros et al. | NTIS | 1997


    Temporal Logic Formalization of Marine Traffic Rules

    Krasowski, Hanna / Althoff, Matthias | IEEE | 2021


    Railway signalling: the next generation

    Lesley, Lewi | IuD Bahn | 1995