Modelling secure wireless sensor networks routing protocols with timed automata.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo

Browse the full MSWIM paper archive.