Snigdhadeb Paul

Learn More
Formal specification, verification, modeling of distributed software systems including middleware is an important area of research [4], [5], [6], [8]. Even then, as of now, no universally accepted standard method for formalization of middleware exists. Mobile middleware systems are increasingly gaining importance due to cheap and highly efficient mobile(More)
  • 1