Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen


    Weitere Titelangaben:

    Formal verification - a powerfull methodology for embedded systems verification.



    Erschienen in:

    Erscheinungsdatum :

    2002


    Format / Umfang :

    3 pages


    Anmerkungen:

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


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Absicherung sicherheitskritischer Systeme - formale Verifikation

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




    Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers

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