Bringing AI to the edge: a formal M&S specification to deploy effective IoT architectures | Publicación