Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards a Formal Approach to Swarm Technology


    Beteiligte:
    Rouff, C.A. (Autor:in) / Hinchey, M.G. (Autor:in) / Truszkowski, W.F. (Autor:in) / Rash, J. (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    01.01.2004



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




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

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


    Formal Methods for Autonomic and Swarm-Based Systems

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


    Formal Methods for Autonomic and Swarm-based Systems

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


    Properties of a Formal Method to Model Emergence in Swarm-Based Systems

    Rouff, Christopher / Vanderbilt, Amy / Truszkowski, Walt et al. | NTRS | 2004


    Towards a formal manufacturing reference ontology

    Usman, Zahid / Young, R.I.M. / Chungoora, Nitishal et al. | Tema Archiv | 2013