From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network
# | Field name | Field description |
---|---|---|
1 | Subnets | This field represents a set of subnets in the network topology |
2 | Edges | The field edges is used to describe communication among the subnets |