Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Analysis of the Remote Agent Before and After Flight


    Beteiligte:
    Havelund, K. (Autor:in) / Lowry, M. (Autor:in) / Park, S. (Autor:in) / Pecheur, C. (Autor:in) / Penix, J. (Autor:in) / Visser, W. (Autor:in) / White, J. L. (Autor:in) / Holloway, C. M. / United States

    Kongress:

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


    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    12 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Subjective vertical before and after space flight

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


    Spacecraft autonomy flight experience - The DS1 Remote Agent Experiment

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


    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


    Chapter 3: Medical Monitoring Before and After Flight

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