Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen


    Additional title:

    Formal verification - a powerfull methodology for embedded systems verification.



    Published in:

    Publication date :

    2002


    Size :

    3 pages


    Remarks:

    Automotive electronics+systems;1(2002)4 ;31-33


    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Automotive engineering | 2009




    Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers

    Schmidt, Bernard / Bulach, Slava / Weinberger, Katharina et al. | Tema Archive | 2008