Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Boudi, Z. (Autor:in) / Ben-Ayed, R. (Autor:in) / El Koursi, E. M. (Autor:in) / Collart-Dutilleul, S. (Autor:in) / Nolasco, T. (Autor:in) / Haloua, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.2017


    Format / Umfang :

    15 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    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

    Freier Zugriff

    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