Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    JRC2014-3759 Product-Based Safety Verification Using Formal Methods



    Conference:

    ASME joint rail conference ; 2014 ; Colorado Springs, CO



    Publication date :

    2014-01-01


    Size :

    V001T03A007


    Remarks:

    Includes bibliographical references and author index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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-3718 Lateral Instability Detection

    Shahidi, P. / Hopkins, B.M. / Maraini, D. 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-3705 Communication Based Train Control Technology Selection

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