iSEEK - Web

Verifying ODP Computational Behavioral Specification by using B-Method. March 2010. ... Finally we explore the benefits provided by thenew extension mechanisms of B-Method for verifying the ODP ...

https://www.researchgate.net/publication/221030041_A_UML_Profile_for_Communicati...

Average Rating (0 votes)

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.

www.fsr.ac.ma/mia/cv-said-el-hajji-2/index.html

Average Rating (0 votes)

Back to search results

Total time to process: 878ms - Cache load: 0ms.

Send Results to a Friend

Do you want to save this as a favorite page?

iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.

If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.

If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.