Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A CPN/B method transformation framework for railway safety rules formal validation


    Contributors:

    Published in:

    Publication date :

    2017-01-01


    Size :

    15 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    388



    A CPN/B method transformation framework for railway safety rules formal validation

    Boudi, Zakaryae / Ben-Ayed, Rahma / El Koursi, El Miloudi et al. | Springer Verlag | 2017

    Free access

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014


    Formal Validation of Interlocking Under Signaling Rules

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



    A Railway Demonstrator for experimental Validation of formal Specifications

    Hansel, F. / Konig, S. / Slovak, R. et al. | British Library Conference Proceedings | 2003