Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Absicherung sicherheitskritischer Systeme - formale Verifikation


    Additional title:

    Secure safety critical systems - formal verification.


    Contributors:

    Published in:

    Publication date :

    2009


    Size :

    1 pages


    Remarks:

    Elektronik automotive;(2009)1/2 ;26


    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German



    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 | European Patent Office | 2019

    Free access

    Zur Realisierung paralleler Dekomposition sicherheitskritischer Systeme

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