Author Details

Raza Kazmi, Syed Asad

  • Executable Semantics for the Formal Specification and Verification of E-agents

      Awais Qasim,   Syed Asad Raza Kazmi,   Ilyas Fakhir
    Volume 8, Issue 16, July 2015 - Articles

    Abstract  PDF
  • Temporal Modelling and Verification of Multi-Robot Concurrent Activities

      Syed Asad Raza Kazmi,   Ayesha Naeem,   Awais Qasim
    Volume 9, Issue 48, December 2016 - Articles

    Abstract  PDF
  • Optimized Application Level Checkpoint Based Load Sharing Model for Heterogeneous Mobile Grid Computing

      Imran Rafique,   Hina Gul,   Salman Rafique,   Syed Asad Raza Kazmi,   Awais Qasim,   Ilyas Fakhir
    Volume 10, Issue 28, July 2017 - Articles

    Abstract  PDF