( en | de | ru )

 

Disambiguation of "Ghassemi, Fatemeh"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and Implementation of Multi-Agent Organizations.

, , , and . WEBIST (1), page 447-453. INSTICC Press, (2006)

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.

Marzyeh Ghassemi

Alireza Ghassemi

Alireza Ghassemi

Fatemeh Ghani

Fatemeh Nauth

 

Other publications of authors with the same name

Behavioral model identification and classification of multi-component systems., and . Sci. Comput. Program., (2019)Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems., , and . CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 3-27. Springer, (2018)Specification and Verification of Timing Properties in Interoperable Medical Systems., , , , and . CoRR, (2020)Modeling and Efficient Verification of Broadcasting Actors., , and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 69-83. Springer, (2015)Reliable Restricted Process Theory., and . Fundam. Informaticae, 165 (1): 1-41 (2019)Equational Reasoning on Ad Hoc Networks., , and . FSEN, volume 5961 of Lecture Notes in Computer Science, page 113-128. Springer, (2009)Reactive Actors: Isolation for Efficient Analysis of Distributed Systems., , and . DS-RT, page 1-10. IEEE, (2019)Specification and Implementation of Multi-Agent Organizations., , , and . WEBIST (1), page 447-453. INSTICC Press, (2006)Formal Modeling and Analysis of Medical Systems., , and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 386-402. Springer, (2020)Modeling and Efficient Verification of Wireless Ad hoc Networks., , and . CoRR, (2016)