Vol. 11 No. 1 (2016)

View Vol. 11 No. 1 (2016)
Published: 2007-2025

Articles

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

    Dr. Arup Ratan Bandyopadhyay (Author)
    01-24
    DOI: https://doi.org/10.18848/6khkhy81

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

    Dr. Jita Bhattacharyya (Author)
    25-42
    DOI: https://doi.org/10.18848/rn4hq938

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

    Kavita Singh 1, Dr. Lovely Dasgupta 2 (Author)
    43-63
    DOI: https://doi.org/10.18848/w4v9gs38

  • Decentralized Federated Learning: A Communication-Efficient Alternative

    Prof. Sutanu Bhattacharyya (Author)
    64-88
    DOI: https://doi.org/10.18848/k3rh1x69