Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    JRC2014-3759 Product-Based Safety Verification Using Formal Methods



    Kongress:

    ASME joint rail conference ; 2014 ; Colorado Springs, CO



    Erscheinungsdatum :

    2014-01-01


    Format / Umfang :

    V001T03A007


    Anmerkungen:

    Includes bibliographical references and author index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Nr. 3759

    DataCite | 1917


    JRC2014-3872 Vehicle Track Interaction Safety Standards

    Marquis, B. / LeBlanc, J. / Tajaddini, A. et al. | British Library Conference Proceedings | 2014


    JRC2014-3815 Providing Network Resilience for Safety Critical Systems

    Aziminejad, A. / Lee, A.W. / American Society of Mechanical Engineers | British Library Conference Proceedings | 2014


    JRC2014-3718 Lateral Instability Detection

    Shahidi, P. / Hopkins, B.M. / Maraini, D. et al. | British Library Conference Proceedings | 2014


    JRC2014-3705 Communication Based Train Control Technology Selection

    Keevill, D. / American Society of Mechanical Engineers | British Library Conference Proceedings | 2014