Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    SEQUENCE CONSTRAINT CHECKING IN A MULTI-MISSION ENVIRONMENT



    Conference:

    INTERNATIONAL SYMPOSIUM; 7th, Reducing the costs of spacecraft ground systems and operations; (RCSGSO) ; 2006 ; Moscow



    Publication date :

    2007-01-01


    Size :

    P69


    Remarks:

    HELD ON CD-ROM




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively

    Horvath, Joan C. / Alkalaj, Leon J. / Schneider, Karl M. et al. | NTRS | 1993


    Model Checking UAV Mission Plans

    Humphrey, Laura | AIAA | 2012


    Model Checking UAV Mission Plans

    Humphrey, L. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


    UTM Constraint Checking with Vehicle Trajectory

    Jung, Jaewoo / D'souza, Sarah N. / Ishihara, Abraham K. et al. | NTRS | 2016


    UTM Constraint Checking with Vehicle Trajectory

    J. Jung / S. N. D'souza / A. K. Ishihara et al. | NTIS | 2016