Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Analysis of the Remote Agent Before and After Flight


    Contributors:

    Conference:

    5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA


    Publication date :

    2000-01-01


    Size :

    12 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Subjective vertical before and after space flight

    Kass, J.R. / Vogel, H. | Elsevier | 1987


    Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment

    Tung, Y. / Taylor, W. / Smith, B. et al. | NTRS | 1999


    Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment

    Tung, Y. W. / Taylor, W. / Smith, B. et al. | NTRS | 1999


    Spacecraft autonomy flight experience - The DS1 Remote Agent Experiment

    e, al / Bernard, Douglas / Gamble, Edward et al. | AIAA | 1999


    Chapter 3: Medical Monitoring Before and After Flight

    Nicogossian, Arnauld E. / Mohler, Stanley R. / Gazenko, Oleg G. et al. | AIAA | 2004