Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety Invariant Verification that Meets Engineers' Expectations


    Beteiligte:

    Kongress:

    Reliability, safety, and security of railway systems (4th international conference)



    Erscheinungsdatum :

    01.01.2022


    Format / Umfang :

    15 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt




    Institution of signal engineers meets in Holland

    Engineering Index Backfile | 1929


    Automotive SPICE meets safety

    Dussa-Zieger,K. / Method Park Software,DE | Kraftfahrwesen | 2008



    Quality meets functional safety

    Freese,W. / Delphi Deutschland,DE | Kraftfahrwesen | 2016