Formal Analysis of a Bio-Inspired Wireless Sensor Network Routing Algorithm

@inproceedings{Zacarias2015FormalAO,
  title={Formal Analysis of a Bio-Inspired Wireless Sensor Network Routing Algorithm},
  author={Iulisloi Zacarias and Cristiano Bertolini and Edison Pignaton de Freitas},
  year={2015}
}
Wireless Sensor Networks (WSN) are becoming more common and applied in many areas like healthcare, environment monitoring and security. Also, it is increasing the complexity and the network interoperability as heterogeneous sensor nodes are used to compose WSN for emerging applications. Observing the importance of guaranteeing certain properties in the… CONTINUE READING