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, K. (Autor:in)

    Erschienen in:

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


    Erscheinungsdatum :

    2013-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    625.1




    Deriving Safety-critical System Specifications through Requirements Engineering Process

    Tsuchiya, R. / Hirao, Y. / Fukuda, M. et al. | British Library Online Contents | 1998




    Formal Specifications of the European Train Control System

    Janhsen, A. / Lemmer, K. / Ptok, B. et al. | British Library Conference Proceedings | 1997