Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Model-Based Design for Large High-Integrity Systems: A Discussion on Verification and Validation



    Kongress:

    North America Conference, AUVSI's unmanned systems ; 2010 ; Denver, CO



    Erscheinungsdatum :

    2010-01-01


    Format / Umfang :

    P31


    Anmerkungen:

    Held in e-store (RMS)


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Model-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms (AAS 13-004)

    Anthony, M. / Campbell, W.B. / Petteys, B. et al. | British Library Conference Proceedings | 2013


    Model-Based Design for Large High Integrity Systems: A Discussion on Data Modeling and Management (AAS 10-023)

    Anthony, M. / Behr, M. / American Astronautical Society | British Library Conference Proceedings | 2010



    Verification, Validation, and Test with Model-Based Design

    Conrad, Mirko / Erkkinen, Tom | SAE Technical Papers | 2008


    Verification, Validation, and Test with Model-Based Design

    Erkkinen, T. / Conrad, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2008