U Ozeer,
G Salaün, L Letondeur, FG Ottogalli… - Formal Methods for …, 2020 - Springer
Fog computing provides computing, storage and communication resources at the edge of
the network, near the physical world. Devices deployed in the Fog have interesting …