( en | de | ru )

 

Disambiguation of "Kacem, Ahmed Hadj"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and verification of temporal properties in cyber-physical systems.

, , , and . CCNC, page 325-330. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Imed Hadj-Kacem

Ameni Kacem

Chaouki Kacem

Mohamed Mondher Kacem

Hadj Latreche

 

Other publications of authors with the same name

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles., , and . ICSOFT (2), page 286-289. SciTePress, (2011)Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns., , , , and . ICEIS (2), page 294-301. SciTePress, (2013)Interoperability of healthcare information systems., , and . ISNCC, page 1-5. IEEE, (2014)Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations., , and . ICOST, volume 12157 of Lecture Notes in Computer Science, page 316-328. Springer, (2020)A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants., , , , and . IJAOSE, 5 (2/3): 134-166 (2016)Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs., , , , and . JFSMA, page 139-148. Cepadues Editions, (2014)Personalized, context-aware, and adaptable persuasive approach for encouraging physical activity among older adults., , , and . Entertain. Comput., (May 2023)Towards a Standard of Modelling Annotations in the E-Health Domain, , and . Health Informatics - An International Journal (HIIJ), 10 (04): 1-10 (November 2021)Special issue on risk and security of smart systems., , , , and . J. Inf. Secur. Appl., (2021)Accountability management for multi-tenant cloud services., , , and . Int. J. Grid Util. Comput., 10 (2): 141-158 (2019)