Subject
Computer Science Applications,Information Systems,Software
Reference52 articles.
1. TinyOS website. .
2. Symbolic execution with abstraction;Anand;Software Tools for Technology Transfer,2008
3. Will Archer, Philip Levis, John Regehr, Interface contracts for tinyOS, in: Information Processing in Sensor Networks, April 2007, pp. 158–165.
4. Loupe: verifying publish–subscribe architecture with a magnifying lens;Baresi;IEEE Transactions on Software Engineering,2010
5. A. Basu, L. Mounnier, M. Poulhies, J. Pulou, J. Sifakis, Using BIP for modeling and verification of networked systems – a case study on tinyOS-based networks, in: 6th IEEE International Symposium on Network Computing and Application, July 2007, pp. 257–260.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献