FTSP Protocol Verification using SPIN
暂无分享,去创建一个
[1] Tarek F. Abdelzaher,et al. Range-free localization schemes for large scale sensor networks , 2003, MobiCom '03.
[2] Wolfgang Thomas,et al. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .
[3] J. Elson,et al. Fine-grained network time synchronization using reference broadcasts , 2002, OSDI '02.
[4] Gyula Simon,et al. Sensor network-based countersniper system , 2004, SenSys '04.
[5] Matt Welsh,et al. MoteLab: a wireless sensor network testbed , 2005, IPSN '05.
[6] David E. Culler,et al. Mica: A Wireless Platform for Deeply Embedded Networks , 2002, IEEE Micro.
[7] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[8] Radhika Nagpal,et al. Firefly-inspired sensor network synchronicity with realistic radio effects , 2005, SenSys '05.
[9] Emre Ertin,et al. Kansei: a testbed for sensing at scale , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.
[10] Stephan Merz,et al. Model Checking , 2000 .
[11] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[12] Gyula Simon,et al. The flooding time synchronization protocol , 2004, SenSys '04.
[13] David E. Culler,et al. TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.
[14] David E. Culler,et al. The dynamic behavior of a data dissemination protocol for network programming at scale , 2004, SenSys '04.
[15] Saurabh Ganeriwal,et al. Timing-sync protocol for sensor networks , 2003, SenSys '03.
[16] John Anderson,et al. Wireless sensor networks for habitat monitoring , 2002, WSNA '02.
[17] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..