Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Ensuring Critical Event Sequences in High Integrity Software by Applying Path Expressions


    Beteiligte:

    Kongress:

    14th, International system safety conference ; 1996 ; Albuquerque; NM



    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    6C2-1


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Ensuring Trustworthy Automated Road Vehicles: A Software Integrity Validation Approach

    Pullen, Dominik / Klement, Felix / Vinel, Alexey et al. | IEEE | 2023


    Strategies for Ensuring Rotorcraft Structural Integrity

    Eastin, R. G. / North Atlantic Treaty Organization | British Library Conference Proceedings | 2000



    Method for ensuring signal light integrity and viewability

    DENNY JOSEPH M / NASEER MUHAMMAD MOHSIN / FOGARTY GREGORY P | Europäisches Patentamt | 2025

    Freier Zugriff

    Applying Sensor Integrity Concepts to Detect Intermittent Bugs in Aviation Software

    Rife, Jason H. / Huang, Hu / Guyer, Sam Z. | British Library Conference Proceedings | 2018