Modelling secure wireless sensor networks routing protocols with timed automata
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Pardo, J.J.
Actes:
PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks
ISBN: 9781605582399
Any de publicació: 2008
Pàgines: 51-58
Tipus: Aportació congrés