Browsing by Subject ACP, fog computing, IoT, formal protocol specification, networking
Showing results 1 to 2 of 2
| Preview | Title | Author(s) | Issue Date | Type |
|---|---|---|---|---|
| Formal algebraic modelling of a city-wide smart parking system | Juan Roig, Pedro; Alcaraz, Salvador; Gilly, Katja; Filiposka, Sonja ; Aknin, Noura | 12-Jun-2020 | Proceedings | |
| Formal Algebraic Specification of an IoT/Fog Data Centre for Fat Tree or Leaf and Spine architectures | Juan Roig, Pedro; Alcaraz, Salvador; Gilly, Katja; Filiposka, Sonja ; Aknin, Noura | 12-Jun-2020 | Proceedings |