Login / Signup
Towards a model-based verification methodology for Complex Swarm Systems (Invited paper).
Jonas Gomes Filho
Nils Przigoda
Robert Wille
Rolf Drechsler
Published in:
ISED (2016)
Keyphrases
</>
invited paper
complex systems
cooperative
computer systems
particle swarm optimization
management system
distributed systems
physical systems
information retrieval
artificial neural networks
neural network
intelligent systems
expert systems
learning systems
high level
design methodology
trading systems