Modelling secure wireless sensor networks routing protocols with timed automata
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Pardo, J.J.
Actas:
PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks
ISBN: 9781605582399
Año de publicación: 2008
Páginas: 51-58
Tipo: Aportación congreso