Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

    33rd, Rocky Mountain Guidance and Control Conference ; 2010 ; Breckenridge, CO



    Erscheinungsdatum :

    2010-01-01


    Format / Umfang :

    22 pages


    Anmerkungen:

    Includes bibliographical references and indexes. Proceedings of the 33rd Annual AAS Rocky Mountain Guidance and Control Conference.



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    Anthony, M. / Behr, M. / Jardin, M. et al. | British Library Conference Proceedings | 2010


    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


    Reducing cost of high integrity systems through model-based testing

    Busser, R.D. / Blackburn, M.R. / Nauman, A.M. et al. | IEEE | 2004


    Reducing Cost of High Integrity Systems through Model-Based Testing

    Busser, R. / IEEE / AIAA | British Library Conference Proceedings | 2004


    INTEGRITY MANAGEMENT OF MOORING SYSTEMS

    Hageman, Remco / Aalberts, Pieter / Leeuwenburgh, Richard et al. | British Library Conference Proceedings | 2019