Modelling secure wireless sensor networks routing protocols with timed automata
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Pardo, J.J.
Actes de conférence:
PM2HW2N'08 - Proceedings of the 3rd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks
ISBN: 9781605582399
Année de publication: 2008
Pages: 51-58
Type: Communication dans un congrès