Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements


    Beteiligte:
    IWATA, Koji (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2013



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    55.85 Schienenverkehr




    Safety Requirement Specifications for Connected Vehicles

    Singh, Madhusudan / Kim, Shiho | ArXiv | 2017

    Freier Zugriff

    Verifying Communication Related Safety Constraints in RSML Specifications

    Heimdahl, M. P. E. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997