Formal Specification and Verification of Self-Configuring P2P Networking: A Case Study in Mobile Environments
4:09 pm 25/10/2021
Phan Cong-Vinh Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. IGI Global, 2012. 170-188. Web. 1 Jul. 2015. doi:10.4018/978-1-60960-845-3.ch007 Book’s link...