-
1
-
2
-
3
-
4
Graphical Transformation of OWL Ontologies to Event-B Formal Models
Veröffentlicht in Computers, materials & continua
VolltextArtikel -
5
-
6
-
7
Optimization Methods Applied to Motion Planning of Unmanned Aerial Vehicles: A Review
Veröffentlicht in Drones (Basel)
VolltextArtikel -
8
-
9
Annotation of Smart Cities Twitter Micro-Contents for Enhanced Citizen's Engagement
Veröffentlicht in IEEE access
VolltextArtikel -
10
-
11
A Cluster-Based Hierarchical-Approach for the Path Planning of Swarm
Veröffentlicht in Applied sciences
VolltextArtikel -
12
-
13
Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL
Veröffentlicht in Energies (Basel)
VolltextArtikel -
14
-
15
State-of-the-Art Flocking Strategies for the Collective Motion of Multi-Robots
Veröffentlicht in Machines (Basel)
VolltextArtikel -
16
-
17
A Multi-Colony Social Learning Approach for the Self-Organization of a Swarm of UAVs
Veröffentlicht in Drones (Basel)
VolltextArtikel -
18
-
19
-
20