Event-B Formalisation of Web Services for Dynamic Composition by Hamel, L., Graiet, M., Gaaloul, W.

Request full text

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

Request full text

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

Request full text

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

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

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

Comment on “Responders to Platelet-Rich Plasma in Osteoarthritis: A Technical Analysis” by Veran, J., Graiet, H., Francois, P., Velier, M., Magalon, J., Sabatier, F.

Get full text

The Impacts of Ramadan Intermittent Fasting on Oxidant/Antioxidant Stress Biomarkers of Stable Chronic Obstructive Pulmonary Disease Male Patients by Mrad, Sawssan, Rejeb, Hadhemi, Ben Abdallah, Jihene, Graiet, Hajer, Ben Khelifa, Mouna, Abed, Amel, Ferchichi, Salima, Limem, Khelifa, Ben Saad, Helmi

Get full text

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B by Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid

Request full text

Comment on "Responders to Platelet-Rich Plasma in Osteoarthritis: A Technical Analysis" by Magalon, J, Velier, M, Francois, P, Graiet, H, Veran, J, Sabatier, F

Get full text