Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Comparing Formal Verification Approaches of Interlocking Systems


    Beteiligte:

    Kongress:

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



    Erscheinungsdatum :

    2016-01-01


    Format / Umfang :

    18 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018


    Principles of formal verification of interlocking software

    Pavlovic, O. / Pinger, R. / Kollmann, M. et al. | Tema Archiv | 2007


    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014


    SAFE INTERLOCKING DATA CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR

    WEI MIN / WANG YANQIN / ZHANG MINGYAO et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM

    ARA NOBUYUKI / YAMANAKA MANABU / KIMURA TATSUYA | Europäisches Patentamt | 2018

    Freier Zugriff