Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

    Session, In-vehicle networks and software, electrical wiring harnesses, and electronics and systems reliability



    Erscheinungsdatum :

    2004-01-01


    Format / Umfang :

    12 pages


    Anmerkungen:

    Held with the sessions on in-vehicle software, electrical wiring harnesses and automobile electronics & systems reliability as part of the SAE 2004 world congress



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






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

    Ranville, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2004


    Simulation of AMT autoshift process based on Matlab/Simulink/Stateflow

    Wang,Y. / Song,J. / Li,X. et al. | Kraftfahrwesen | 2004


    Simulation of AMT Autoshift Process Based on Matlab/Simulink/Stateflow

    Wang, Y. / Song, J. / Li, X. | British Library Conference Proceedings | 2004