Modelling secure wireless sensor networks routing protocols with timed automata
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Pardo, J.J.
Aktak:
PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks
ISBN: 9781605582399
Argitalpen urtea: 2008
Orrialdeak: 51-58
Mota: Biltzar ekarpena