Author of the publication

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification.

, , and . COMPSAC Workshops, page 248-253. IEEE Computer Society, (2012)

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.

 

Other publications of authors with the same name

A Software Architecture for Cooperative Knowledge Based Systems., , and . HCI (2), page 303-308. Elsevier, (1993)0-444-89540-X.Formalizing compound MAPE patterns for decentralized control in self-adaptive systems., , and . RCIS, page 1-10. IEEE, (2018)A multi-scale modelling perspective for SoS architectures., , , and . ECSA Workshops, page 30:1-30:5. ACM, (2014)How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations., , , and . INTERACT (2), volume 9297 of Lecture Notes in Computer Science, page 115-133. Springer, (2015)MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems., , and . IET Softw., 15 (4): 260-276 (2021)Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning., , , and . Int. J. Distance Educ. Technol., 15 (1): 28-51 (2017)Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing., , and . CLOSER, page 386-389. SciTePress, (2013)Prediction of Human Personality Traits From Annotation Activities., , , and . WEBIST (2), page 263-269. SciTePress, (2014)Simulation tools for cloud computing: A survey and comparative study., , and . ICIS, page 221-226. IEEE Computer Society, (2017)A Formal Approach to Enforcing Consistency in Self-adaptive Systems., , and . ECSA, volume 6285 of Lecture Notes in Computer Science, page 279-294. Springer, (2010)