An Automatic Protocol Verification Framework for the Development of Wireless Sensor Networks

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.

[thumbnail of 14906.pdf] PDF
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

Actions (login required)

View Item
View Item