Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A novel framework approach enabling Model-based Requirements Validation and Verification


    Contributors:

    Conference:

    2018 Modeling and Simulation Technologies Conference



    Publication date :

    2018-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    A Novel Framework Approach Enabling Model-based Requirements Validation and Verification (AIAA 2018-3892)

    Binder, Bastian / Gottschall, Marcel / Blochwitz, Torsten | British Library Conference Proceedings | 2018


    Verification and Validation of Autonomy Requirements

    Vassev, Emil / Hinchey, Mike | Springer Verlag | 2014



    Novel Framework Approach for Model-Based Process Integration from Requirements to Verification Demonstrated on a Complex, Cyber-Physical Aircraft System

    Gottschall, Marcel / Binder, Bastian / Reglitz, Soeren et al. | British Library Conference Proceedings | 2018


    Agile Model-Based Integration Framework for Advanced Software Validation and Verification

    Stazi, Giulia / Sinisi, Stefano / Di Valerio, Valerio et al. | AIAA | 2023