|
Web
Education
Viewing 1-5 of 5 total results
Managing Software Change Request Process: Temporal Data ...
Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP). 8 J. Laassiri , S. E. Hajji and M. Bouhdadi, “Verifying ODP Computational Behavioral Specification by using B-Method”, International Journal of Computer Science and Security (IJCSS), 4(1 ...
Scientific & Academic Publishing
Jalal.Laassiri, S.El Hajji, M.Bouhdadi:"Verifying ODP Computational Behavioral Specification by using B-Method", International Journal of Computer Science and Security (IJCSS), Volume (4): Issue (1), pp 31-39, March 2010
labmia | Pr. Said EL HAJJI
J.Laassiri, S.El Hajji, M.Bouhdadi: “Verifying ODP Computational Behavioral Specification by using B-Method”, International Journal of Computer Science and Security (IJCSS), Volume (4): Issue (1), pp 31 – 39, March 2010.
List of Open Access publications for International Journal ...
Verifying ODP Computational Behavioral Specification by using B-Method : Jalal Laassiri, Saïd El Hajji, Mohamed Bouhdadi : Pages - 31 - 39 | Revised - 25-02-2010 | Published - 26-03-2010 : Full Text Available (376.1KB) MORE INFORMATION : Full Citation | Full Text PDF | Abstract | References | Related Articles
jalal.laassiri
“Verifying ODP Computational Behavioral Specification by using B-Method”, J.Laassiri, S.El Hajji, M.Bouhdadi: “ International Journal of Computer Science and Security ” (IJCSS), Volume (4): Issue (1), pp 31 – 39, 2010.
|
