Login / Signup

A formal approach to model and verify the behaviour of publish/subscribe architectural style.

Hatem Hadj KacemImen LoulouAhmed Hadj Kacem
Published in: Int. J. Inf. Technol. Commun. Convergence (2012)
Keyphrases
  • stochastic model
  • case study