Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The TableSat Platform and Its Verifiable Control Software


    Beteiligte:
    Atkins, E. (Autor:in) / Green, J. (Autor:in) / Yi, J. (Autor:in) / Woo, H. (Autor:in) / Browne, J. (Autor:in) / Mok, A. (Autor:in) / Xie, F. (Autor:in) / American Institute of Aeronautics and Astronautics

    Kongress:

    AIAA Infotech@Aerospace conference; Exhibit and AIAA Unmanned ... Unlimited conference and exhibit 2009 ; 2009 ; Seattle, WA



    Erscheinungsdatum :

    2009-01-01


    Format / Umfang :

    11 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    The TableSat Platform and Its Verifiable Control Software

    Atkins, Ella / Green, Jeremy / Yi, Jianliang et al. | AIAA | 2009


    Architecture for Verifiable Software

    Reinholtz, William / Dvorak, Daniel | NTRS | 2005



    A verifiable, autonomous satellite control system

    Andert, E.P. / Frasher, C. | Tema Archiv | 1989


    Verifiable Adaptive Control: UCAV and Aerial Refueling

    Wise, Kevin / Lavretsky, Eugene / Hovakimyan, Naira et al. | AIAA | 2008