Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Specifying Safety-Related Hazards Formally



    Kongress:

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



    Erscheinungsdatum :

    01.01.1999


    Format / Umfang :

    10 pages


    Anmerkungen:

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


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :




    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 | Kraftfahrwesen | 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