Formal probabilistic analysis of detection properties in wireless sensor networks
Elleuch, Maissa, Hasan, Osman, Tahar, Sofiène, Abid, MohamedVolume:
27
Langue:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-014-0304-0
Date:
January, 2015
Fichier:
PDF, 412 KB
english, 2015