Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Proving Properties of Simulink Models that Include Discrete Valued Functions



    Conference:

    SAE 2016 World Congress and Exhibition



    Publication date :

    2016-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Proving properties of Simulink models that include discrete valued functions

    Hocking,A.B. / Aiello,M.A. / Knight,J.C. et al. | Automotive engineering | 2016


    Proving Properties of Simulink Models that Include Discrete Valued Functions

    Hocking, Ashlie B. / Knight, John C. / Aiello, M. Anthony et al. | SAE Technical Papers | 2016


    Building Simulink S-Functions

    Colgren, Richard | AIAA | 2007


    Building Simulink Linear Models

    Colgren, Richard | AIAA | 2007