DocumentCode
2573203
Title
Probabilistic verification of sensor networks
Author
Demaille, Akim ; Hérault, Thomas ; Peyronnet, Sylvain
fYear
2006
fDate
Feb. 12-16, 2006
Firstpage
45
Lastpage
54
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Research, Innovation and Vision for the Future, 2006 International Conference on
Print_ISBN
1-4244-0316-2
Type
conf
DOI
10.1109/RIVF.2006.1696417
Filename
1696417
Link To Document