Debbi, Hichem, Department of Computer Science, University of M'sila, Algeria

• Computer Science Vol. 23 No. 4 - Articles
  Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking
  Abstract  PDF