Mohamed Bouhdadi
Publication Count: 3
Publication List:
(1) Specifying Data Bases Management Systems by Using RM-ODP Engineering Language, Volume 7, Issue 3, May 2010
(2) Verifying ODP trader function by using Event B, Volume 7, Issue 4, July 2010
(3) Modeling ODP Policies by using event-B, Volume 7, Issue 6, November 2010
About Mohamed Bouhdadi:
Department of Mathematics & Computer Science, University Mohammed V, Faculty of Science, BP 1014 RP, 4. Av Ibn Batouta - Agdal, Rabat, Morocco
Publication List:
(1) Specifying Data Bases Management Systems by Using RM-ODP Engineering Language, Volume 7, Issue 3, May 2010
(2) Verifying ODP trader function by using Event B, Volume 7, Issue 4, July 2010
(3) Modeling ODP Policies by using event-B, Volume 7, Issue 6, November 2010
About Mohamed Bouhdadi:
Department of Mathematics & Computer Science, University Mohammed V, Faculty of Science, BP 1014 RP, 4. Av Ibn Batouta - Agdal, Rabat, Morocco
