Kim, Taehyun and Kim, Jaeho and Lee, Sangshin and Ahn, Ilyeup and Song, Minan and Won, Kwangho (2010) An Automatic Protocol Verification Framework for the Development of Wireless Sensor Networks. In: 4th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities.
14906.pdf
Download (261kB)
Abstract
In recent years, there are many active researches on Wireless Sensor Networks (WSNs) as a way to collect diverse context information around the world. A lot of new WSN protocols have been proposed and implemented for the various application fields such as military, environmental, habitat monitoring,
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:30 |
| Last Modified: | 18 Apr 2026 05:58 |
| URI: | http://eprints.eai.eu/id/eprint/6530 |
