Robotic Spacecraft are controlled by onboard sets of commands called.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automated Constraint Checking of Spacecraft Command Sequences


    Beteiligte:
    Horvath, J. C. (Autor:in) / Alkalaj, L. J. (Autor:in) / Schneider, K. M. (Autor:in) / Spitale, J. M. (Autor:in) / Le, D. (Autor:in)

    Erscheinungsdatum :

    1994-04-01


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Automated constraint checking of spacecraft command sequences

    Horvath, Joan C. | Online Contents | 1995


    Automated constraint checking of spacecraft command sequences

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


    (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