Title :
Probabilistic verification of sensor networks
Author :
Demaille, Akim ; Hérault, Thomas ; Peyronnet, Sylvain
Keywords :
Ad hoc networks; Algorithm design and analysis; Computer networks; Fires; Intrusion detection; Military computing; Sensor phenomena and characterization; Sensor systems; System testing; Wireless sensor networks;
Conference_Titel :
Research, Innovation and Vision for the Future, 2006 International Conference on
Print_ISBN :
1-4244-0316-2
DOI :
10.1109/RIVF.2006.1696417
