( en | de | ru )

 

Disambiguation of "Siala, Fatma"

Author of the publication

copydeleteadd this publication to your clipboard
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.

, and . COMPSAC, page 581-584. IEEE Computer Society, (2008)

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.

Mohamed Siala

Fatma Erdem

Fatma Oguz

Fatma Kärsten

Fatma Arik

 

Other publications of authors with the same name

How to select dynamically a QoS-driven composite web service by a multi-agent system using CBR method., and . Int. J. Wirel. Mob. Comput., 7 (4): 327-347 (2014)Stability analysis and stabilization of polynomial fuzzy systems with time-delay via a Sum Of Squares (SOS) approach., , , and . ACC, page 5706-5711. IEEE, (2015)From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems., and . COMPSAC, page 581-584. IEEE Computer Society, (2008)Event-B based Verification of Interaction Properties In Multi-Agent Systems., and . J. Softw., 4 (4): 357-364 (2009)Observer based dissipative reliable control for Takagi-Sugeno fuzzy systems with time delay., , , and . MED, page 1520-1525. IEEE, (2013)Stability and Stabilization of Polynomial Fuzzy Systems with Time Delay: New Approach., , , and . CSSP, 35 (10): 3431-3460 (2016)Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B., and . DSV-IS, volume 5136 of Lecture Notes in Computer Science, page 102-107. Springer, (2008)A Multi-Agent Recommender System Using Social Networks.. DTUC, page 5:1-5:2. ACM, (2018)A Multi-agent Selection of Multiple Composite Web Services Driven by QoS., and . CLOSER, page 675-684. SciTePress, (2011)Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B, and . (2008)