( en | de | ru )

 

Disambiguation of "Mousavi, Mohammad Reza"

Author of the publication

copydeleteadd this publication to your clipboard
PARS: A Process Algebra with Resources and Schedulers.

, , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 134-150. Springer, (2003)

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.

Mohammad Reza Mohammad Khorasani

Mohammad Reza Alemzadeh

Mohammad Reza Tarazi

Mohammad-Reza Veschgini

Mohammad Reza Ahmadi

 

Other publications of authors with the same name

Basic behavioral models for software product lines: Expressiveness and testing pre-orders., , and . Sci. Comput. Program., (2016)Synchronizing Asynchronous Conformance Testing., , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 334-349. Springer, (2011)A Tool Prototype for Model-Based Testing of Cyber-Physical Systems., , and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 563-572. Springer, (2015)Towards Model-Based Testing of Electronic Funds Transfer Systems., , , and . FSEN, volume 7141 of Lecture Notes in Computer Science, page 253-267. Springer, (2011)A Pre-congruence Format for XY-simulation., and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 215-229. Springer, (2015)Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)., and . J. Log. Algebraic Methods Program., (2017)On the search for industry-relevant regression testing research., , , , , , , and . Empir. Softw. Eng., 24 (4): 2020-2055 (2019)Kaspar Causally Explains., , , , , , , , and . ICSR (2), volume 13818 of Lecture Notes in Computer Science, page 85-99. Springer, (2022)Locality-Based Test Selection for Autonomous Agents., , , and . ICTSS, volume 13045 of Lecture Notes in Computer Science, page 73-89. Springer, (2021)Towards understanding causality - a retrospective study of using explanations in interactions between a humanoid robot and autistic children., , , , , , and . RO-MAN, page 323-328. IEEE, (2022)