Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Specifying Safety-Related Hazards Formally



    Conference:

    17th, International system safety conference ; 1999 ; Orlando, FL



    Publication date :

    1999-01-01


    Size :

    10 pages


    Remarks:

    Theme title: System safety at the dawn of the new millennium


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    Formally Verifying Navigation Safety for Ground Robots

    Zhang, Manni / Zhang, Xinyu | British Library Conference Proceedings | 2016


    Software safety architecture that can be formally verified

    Cossy,M. / STZ Softwaretechnik,DE | Automotive engineering | 2004


    A Formally Verified Fail-Operational Safety Concept for Automated Driving

    Terechko, Andrei / Saberi, Arash Khabbaz / Groote, Jan Friso et al. | SAE Technical Papers | 2022