Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    CoCoSim : Contract-based Compositional Verification of Simulink Models


    Contributors:

    Conference:

    NASA-Boeing Autonomy V&V Project: NASA V&V tool demonstration ; 2021 ; Virtual Presentation, US


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Automatic validation of Simulink/Stateflow models - formal verification of functional requirements

    Bienmueller,T. / Brockmeyer,U. / Sandmann,G. et al. | Automotive engineering | 2005


    Verification of the Generalized Aerospace Simulation in Simulink

    Nicholas Olson / Justin Ganiban / Juan Orphee et al. | NTRS


    Verification of the Generalized Aerospace Simulation in Simulink(R)

    Nicholas Olson / Justin Ganiban / Juan Orphee et al. | NTRS


    Laxity release optimization for Simulink models

    Qin,K. / Luo,G. / Zhao,X. et al. | Automotive engineering | 2014


    Model database for complex simulink models

    Schlüter, Wolfgang / Kvasnicka, Pavel / Kämpf, Bernhard | Tema Archive | 2005