Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The TableSat Platform and Its Verifiable Control Software


    Contributors:
    Atkins, Ella (author) / Green, Jeremy (author) / Yi, Jianliang (author) / Woo, Honguk (author) / Browne, James (author) / Mok, Aloysius (author) / Xie, Fei (author)

    Conference:

    AIAA Infotech@Aerospace Conference



    Publication date :

    2009-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The TableSat Platform and Its Verifiable Control Software

    Atkins, E. / Green, J. / Yi, J. et al. | British Library Conference Proceedings | 2009


    Architecture for Verifiable Software

    Reinholtz, William / Dvorak, Daniel | NTRS | 2005



    A verifiable, autonomous satellite control system

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


    Verifiable Adaptive Control: UCAV and Aerial Refueling

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