<--- Back to Details
First PageDocument Content
International Space Station / Satellite / ESRO / Concurrent Design Facility / Spaceflight / European Space Agency / Swarm
Date: 2015-04-15 02:20:18
International Space Station
Satellite
ESRO
Concurrent Design Facility
Spaceflight
European Space Agency
Swarm

ESA Registration Policy and Practice_final_14Apr15

Add to Reading List

Source URL: www.unoosa.org

Download Document from Source Website

File Size: 242,38 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Model checkers / Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Model checking / Search algorithms / Formal verification / SPIN model checker / Verification / Swarm behaviour / Promela

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

DocID: 1xUKZ - View Document

Lipari School on Computational Complex and Social Systems: From swarm intelligence to digital democracy: new tools for a complex society JulyLipari Island, Italy SCHOOL SCHEDULE

DocID: 1xU2g - View Document

Aquatic ecology / Behavior / Crowds / Fisheries / Swarm behaviour / Zoology / Swarm robotics / Robot / Model checking / Swarm / Metaphysics / Action philosophy)

Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty

DocID: 1xTg0 - View Document

Nr.: FINEvaluation Platform for Micro Aerial Indoor Swarm Robotics Christoph Steup, Sanaz Mostaghim, Sebastian Mai Intelligente Systeme

DocID: 1vrme - View Document