Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    CoCoSim : Contract-based Compositional Verification of Simulink Models


    Beteiligte:
    Hamza Bourbouh (Autor:in) / Andreas Katis (Autor:in)

    Kongress:

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


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




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

    Bienmueller,T. / Brockmeyer,U. / Sandmann,G. et al. | Kraftfahrwesen | 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. | Kraftfahrwesen | 2014


    Model database for complex simulink models

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