Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Iwata, K. (author)

    Published in:

    QUARTERLY REPORT- RTRI ; 54 , 2 ; 91-96


    Publication date :

    2013-01-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    625.1




    Safety Requirement Specifications for Connected Vehicles

    Singh, Madhusudan / Kim, Shiho | ArXiv | 2017

    Free access


    Verifying Communication Related Safety Constraints in RSML Specifications

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