Author:
Muhammad Shahabuddin,Mohammad Nazeeruddin,Bashar Abul,Khan Majid Ali
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Artificial Intelligence,Industrial and Manufacturing Engineering,Mechanical Engineering,Control and Systems Engineering,Software
Reference47 articles.
1. Akyildiz, I.F., Melodia, T., Chowdhury, K.R.: A survey on wireless multimedia sensor networks. Comput. Netw. 51(4), 921–960 (2007)
2. Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: A survey on sensor networks. IEEE Commun. Mag. 40(8), 102–114 (2002)
3. Amato, G., Bacciu, D., Broxvall, M., Chessa, S., Coleman, S., Di Rocco, M., Dragone, M., Gallicchio, C., Gennaro, C., Lozano, H., et al: Robotic ubiquitous cognitive ecology for smart homes. J. Intell. Robot. Syst. 80(1), 57–81 (2015)
4. Aslanyan, Z., Nielson, F., Parker, D.: Quantitative verification and synthesis of attack-defence scenarios. In: Proc. of Computer Security Foundations Symposium CSF (2016)
5. Ballarini, P., Miller, A.: Model checking medium access control for sensor networks. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. pp. 255–262. IEEE (2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献