A Formal Approach for the Validation of Web Service Orchestrations von Kacem, H. H., Sellami, W., Kacem, A. H.

Volltext

Cooperative systems for information sharing and exchange von Drira, K., Diaz, M., Villemur, T., Jmaiel, M., Ben Hamadou, A., Kacem, A.H.

Volltext

Specification and Design of Multi-agent Applications Using Temporal Z von Regayeg, Amira, Kacem, Ahmed Hadj, Jmaiel, Mohamed

Volltext

Towards a Formal Methodology for Designing Multi-agent Applications von Regayeg, Amira, Kacem, Ahmed Hadj, Jmaiel, Mohamed

Volltext

Formalization of cooperation in MAS: Towards a generic conceptual model von LOULOU, Monia, KACEM, Ahmed Hadj, JMAIEL, Mohamed

Volltext

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification von Gouasmi, T., Regayeg, A., Kacem, A. H.

Volltext bestellen

An Operational Semantics for Negotiating Agents von Jmaiel, Mohamed, Kacem, Ahmed Hadj

Volltext

Using UML2.0 and GG for describing the dynamic of software architectures von Kacem, M.H., Jmaiel, M., Kacem, A.H., Drira, K.

Volltext bestellen

Specification and verification of multi-agent applications using temporal Z von Regayeg, A., Hadj Kacem, A., Jmaiel, M.

Volltext bestellen

Towards a unified graph-based framework for dynamic component-based architectures description in Z von Loulou, I., Kacem, A.H., Jmaiel, M., Drira, K.

Volltext bestellen

Causality nexus of renewable energy consumption and social development: Evidence from high-income countries von Khribich, Abir, Kacem, Rami H., Dakhlaoui, Ahlem

Volltext

Evaluation of DNA extraction protocols and real-time PCR-based methods for efficient investigation of pig traces in foods von Al-Shaibany, A, Gargouri, H, Kacem, H Hadj

Volltext

Industrial needs v. Engineering education curricula related to maintenance, production and quality in industry 4.0: A gap analysis case study in Tunisia and Morocco von Elkosantini, Sabeur, Hajri-Gabouj, Sonia, Darmoul, Saber, Kacem, Rami BH, Ammar, Achraf, Elouadi, Abdelmajid, Ghrairi, Zied, Moalla, Nejib, Bentaha, Mohand L, Sarraipa, Joao

Volltext

Contribution to modeling the viscosity Arrhenius-type equation for some solvents by statistical correlations analysis von Haj-Kacem, R.B., Ouerfelli, N., Herráez, J.V., Guettari, M., Hamda, H., Dallel, M.

Volltext

Addictive behaviors in schizophrenic patients: Descriptive and analytical study von Bouali, W., Babba, H., Zaouali, F., Kacem, M., Brahim, S., Zarrouk, L.

Volltext

Assessment of addictive behavior in patients with schizophrenia von Zbidi, M, Bouali, W, Baba, H, Kacem, M, Younes, S, Zarrouk, L

Volltext

Assessment of addictive behaviors in patients with schizophrenia von Kacem, M, Bouali, W, Babba, H, Zouali, F, Zarrouk, L

Volltext

Screening for anxiety and depression in active military personnel with asthma von Ziedi, H, Mejri, I, Kacem, M, Mhamdi, S, Daboussi, S, Aichaouia, C, Moatemri, Z

Volltext

Medical assessement of 3 years of activities in mahdia’s psychiatric department von Kacem, M., Khouaja, M., Aoun, M.H., Zarrouk, L.

Volltext

Damage based constitutive relationships in semi-crystalline polymer by using multi-mechanisms model von Cayzac, Henri-Alexandre, Saï, Kacem, Laiarinandrasana, Lucien

Volltext