Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards a Formal Approach to Swarm Technology


    Contributors:
    Rouff, C.A. (author) / Hinchey, M.G. (author) / Truszkowski, W.F. (author) / Rash, J. (author)

    Conference:

    Space OPS 2004 Conference ; 2004 ; Montreal , Quebec , Canada



    Publication date :

    2004-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    A Formal Approach to Self-configurable Swarm-based Space-exploration Systems

    Vassev, E. / Hinchey, M. / Nixon, P. | Tema Archive | 2010


    Formal Methods for Autonomic and Swarm-based Systems

    Rouff, Christopher / Vanderbilt, Amy / Hinchey, Mike et al. | NTRS | 2004


    Formal Methods for Autonomic and Swarm-Based Systems

    C. Rouff / A. Vanderbilt / M. Hinchey et al. | NTIS | 2004



    Swarm Technology Development Strategy

    Hine, Butler | NTRS | 2019