Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Absicherung sicherheitskritischer Systeme - formale Verifikation


    Weitere Titelangaben:

    Secure safety critical systems - formal verification.


    Beteiligte:
    Tchernikov,M. (Autor:in) / Swaminathan,M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2009


    Format / Umfang :

    1 pages


    Anmerkungen:

    Elektronik automotive;(2009)1/2 ;26


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch



    Absicherung sicherheitskritischer Assistenzsysteme — Durchgängig und nachvoliziehbar

    Beine, M. / Geburzi, A. | British Library Conference Proceedings | 2016


    Strukturtreue Modellierung sicherheitskritischer Systeme

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



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

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

    Freier Zugriff

    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

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