
[IEEE 2016 Sixth International Symposium on Embedded Computing and System Design (ISED) - Patna, India (2016.12.15-2016.12.17)] 2016 Sixth International Symposium on Embedded Computing and System Design (ISED) - Towards a model-based verification methodology for Complex Swarm Systems (Invited paper)
Filho, Jonas Gomes, Przigoda, Nils, Wille, Robert, Drechsler, RolfAnnée:
2016
Langue:
english
DOI:
10.1109/ISED.2016.7977047
Fichier:
PDF, 775 KB
english, 2016