Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Case Study of Commercially Available Tools that Apply Formal Methods to a Matlab/Simulink/Stateflow Model



    Kongress:

    World congress, Society of Automotive Engineers ; 2004 ; Detroit, MI



    Erscheinungsdatum :

    2004-01-01


    Format / Umfang :

    1765 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch