Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated constraint checking of spacecraft command sequences



    Published in:

    Publication date :

    1995



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English



    Classification :

    BKL:    50.93 / 50.93 Weltraumforschung / 55.60 Raumfahrttechnik / 55.60
    Local classification TIB:    050/7040



    Automated constraint checking of spacecraft command sequences

    Horvath, J. C. / Alkalaj, L. J. / Schneider, K. M. et al. | British Library Conference Proceedings | 1995


    Automated Constraint Checking of Spacecraft Command Sequences

    Horvath, J. C. / Alkalaj, L. J. / Schneider, K. M. et al. | NTRS | 1994


    (abstract) Automated Constraint Checking of Spacecraft Command Sequences

    Horvath, Joan / Alkalaj, Leon / Schneider, Karl et al. | NTRS | 1994


    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


    SEQ_REVIEW: A Tool for Reviewing and Checking Spacecraft Sequences

    Maldague, P. F. / El-Boushi, M. / Starbird, T. J. et al. | British Library Conference Proceedings | 1994