Search Results - Bhiri, Mourad

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Epidemiological and faunistic characterization of scorpionism in the Beni Mellal-Khenifra region, Central Morocco

    Epidemiological and faunistic characterization of scorpionism in the Beni Mellal-Khenifra region, Central Morocco by Elmourid, Abdessamad, Elhidan, My Abdelmonaim, Boussaa, Samia, Bhiri, Mourad, Touloun, Oulaid

    Published in Toxicon (Oxford)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components

    An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components by Rouis, Taoufik Sakka, Bhiri, Mohamed Tahar, Sliman, Layth, Kmimech, Mourad

    Published in IEEE systems journal
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Towards an approach of formal verification of mediation protocol based on web services of MDE type

    Towards an approach of formal verification of mediation protocol based on web services of MDE type by Graiet, Mohamed, Maraoui, Raoudha, Kmimech, Mourad, Tahar Bhiri, Mohamed, Gaaloul, Walid

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Checking Non-functional Properties of UML2.0 Components Assembly

    Checking Non-functional Properties of UML2.0 Components Assembly by Tahar, Bhiri Mohamed, Taoufik, Sakka Rouis, Mourad, Kmimech

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    UML/OCL and Refinement

    UML/OCL and Refinement by Bhiri, M. T., Mourad, K., Graiet, M., Aniorte, P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model

    Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model by Kmimech, M., Bhiri, M.T., Aniorte, P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Verifying Composite Service Transactional Behavior with EVENT-B

    Verifying Composite Service Transactional Behavior with EVENT-B by Hamel, L., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    ATL Transformation for the Generation of SCA Model

    ATL Transformation for the Generation of SCA Model by Louhichi, S., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W., Cariou, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service

    Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service by Mhamdi, A., Maraoui, R., Graiet, M., Kmimech, M., Bhiri, M. T., Cariou, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Profile UML2.0 for Specification of the SCA Architectures

    Profile UML2.0 for Specification of the SCA Architectures by Abid, W. B., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W., Cariou, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Towards an Approach of Formal Verification of Web Service Composition

    Towards an Approach of Formal Verification of Web Service Composition by Graiet, Mohamed, Kmimech, Mourad, Hamel, Lazhar, Bhiri, Mohamed Tahar, Gaaloul, Walid, Maraoui, Raoudha

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: