Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An Executable and Reliable Method for Chinese ITS Architecture Development



    Kongress:

    1st, International Conference On Transportation Engineering ; 2007 ; Chengdu, China



    Erscheinungsdatum :

    2007-01-01


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    An Executable and Reliable Method for Chinese ITS Architecture Development

    Zhang, Ke / Liu, Hao / Qi, Tongyan et al. | ASCE | 2007


    Architecture Generation for Moon-Mars Exploration Using an Executable Meta-Language

    Simmons, Willard / Koo, Benjamin / Crawley, Edward | AIAA | 2005


    Executable assertions and flight software

    MAHMOOD, A. / ANDREWS, D. / MCCLUSKEY, E. | AIAA | 1984


    Sustainable, Reliable Mission-Systems Architecture

    O'Neil, Graham / Orr, James / Watson, Steve | AIAA | 2005


    Testing flight systems with machine executable scripts

    Gibbs, Don / Bone, Brian | IEEE | 2009