Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety Verification of Heterogeneous Railway Networks


    Beteiligte:

    Kongress:

    Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris



    Erscheinungsdatum :

    2016-01-01


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Object code verification for safety-critical railway control systems

    Peleska, Jan / Haxthausen, Anne E. | Tema Archiv | 2007


    Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks

    Stankaitis, Paulius / Iliasov, Alexei | British Library Conference Proceedings | 2017



    Railway safety

    Bentley, R.L. | Engineering Index Backfile | 1929


    Railway safety

    IBC | British Library Conference Proceedings | 2001