Vol. 11 No. 1 (2016)

Articles

• Combining Formal Verification and Simulation for CPS Analysis: A Hybrid Approach

  Dr. Arup Ratan Bandyopadhyay (Author)

  01-24

  • PDF

• Formal Verification of Cyber-Physical Systems in the Internet of Things (IoT)

  Dr. Jita Bhattacharyya (Author)

  25-42

  • PDF

• A Comprehensive Review of Communication Bottlenecks in Federated Learning: Challenges and Solutions

  Kavita Singh 1, Dr. Lovely Dasgupta 2 (Author)

  43-63

  • PDF

• Decentralized Federated Learning: A Communication-Efficient Alternative

  Prof. Sutanu Bhattacharyya (Author)

  64-88

  • PDF