Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Safe software development for a video-based train detection system in accordance with EN 50128


    Beteiligte:

    Erscheinungsdatum :

    2013


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    625
    RVK:    ZO 5870 / ST 620




    Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements

    Kästner, Daniel / Ferdinand, Christian | British Library Conference Proceedings | 2016




    IoT SAFE TRAIN BASED ON IoT

    KIM RAK YEONG / PARK JI WON / SON JOO WON et al. | Europäisches Patentamt | 2018

    Freier Zugriff