Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal validation method for computerized interlocking system


    Beteiligte:
    Antoni, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2012



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Französisch


    Klassifikation :

    BKL:    55.80 / 55.80 Verkehrswesen, Transportwesen: Allgemeines
    Lokalklassifikation TIB:    250/7010/7015




    Formal Validation Method and Tools for French Computerized Railway Interlocking Systems

    Antoni, A.M. / Ammad, N. | British Library Conference Proceedings | 2008


    Formal Validation of Interlocking Under Signaling Rules

    Sun, Pengfei / Collart-Dutilleul, Simon / Bon, Philippe | Springer Verlag | 2021


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

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


    Computerized interlocking system for railway signaling control: SMILE

    Akita, K. / Watanabe, T. / Nakamura, H. et al. | Tema Archiv | 1985