Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A FORMAL MODELING APPROACH TO RISK MANAGEMENT IN THE DEVELOPMENT OF SPACE EXPLORATION SYSTEMS



    Conference:

    IAASS CONFERENCE; SUMMER CONFERENCE; 2nd, Space safety in a global world ; 2007 ; Chicago, IL



    Publication date :

    2007-01-01


    Size :

    P57


    Remarks:

    HELD ON CD-ROM




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Exploration Systems Risk Management Approach

    Lyles, Garry / Lengyel, David | AIAA | 2006


    A Formal Approach to Self-configurable Swarm-based Space-exploration Systems

    Vassev, E. / Hinchey, M. / Nixon, P. | Tema Archive | 2010


    Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems

    Rouff, Christopher A. / Hinchey, Michael G. / Truszkowski, Walter F. et al. | NTRS | 2006