.png){kind=logo}
Browsing by Keywords ACP
Showing results 1 to 5 of 5
| Preview | Issue Date | Title | Author(s) | Access |
|---|---|---|---|---|
 | 2022 | Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments |  | |
 | 2017 | Formal Specification of Spanning Tree Protocol Using ACP | Roig, Pedro Juan; Alcaraz, Salvador; Gilly, Katja | |
 | 30-Jan-2022 | Modeling an Edge Computing Arithmetic Framework for IoT Environments | | |
 | 2021 | Modeling of a Generic Edge Computing Application Design | | |
 | 2020 | Study on OSPF Algebraic Formal Modelling Using ACP | |