Author:
Zheng Manchun,Sun Jun,Liu Yang,Dong Jin Song,Gu Yu
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. NesC@PAT, http://www.comp.nus.edu.sg/~pat/NesC/
2. Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: Wireless sensor networks: a survey. Computer Networks 38, 132–138 (2001)
3. Archer, W., Levis, P., Regehr, J.: Interface contracts for TinyOS. In: IPSN, pp. 158–165 (2007)
4. Bucur, D., Kwiatkowska, M.Z.: Software verification for TinyOS. In: IPSN, pp. 400–401 (2010)
5. Lecture Notes in Computer Science;E.A. Emerson,1997
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献