From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network
# | Field name | Field description |
---|---|---|
1 | Sensor_id | Every sensor node is unique |
2 | Sensor_fields | This field is used to access common fields from the abstract object |
3 | Position | This field is used to record the position |