Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Absicherung sicherheitskritischer Assistenzsysteme — Durchgängig und nachvoliziehbar


    Beteiligte:
    Beine, M. (Autor:in) / Geburzi, A. (Autor:in)

    Kongress:

    VDI/VW-Gemeinschaftstagung


    Erschienen in:

    Erscheinungsdatum :

    01.01.2016


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch



    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Kraftfahrwesen | 2009


    Verfahren zur effizienten Absicherung sicherheitskritischer Funktionen eines Steuergeräts und Steuergerät

    WENDER STEFAN / KLEINSORGE ALEXANDER | Europäisches Patentamt | 2019

    Freier Zugriff


    Strukturtreue Modellierung sicherheitskritischer Systeme

    Uygur, Gürkan / Rasim, Feim Ridvan / Özgül, Mustafa et al. | VDE-Verlag | 2015


    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

    Uygur, Gürkan / Sattler, Sebastian M., | VDE-Verlag | 2013