( en | de | ru )

 

Disambiguation of "Mousavi, Mohammad Reza"

Author of the publication

copydeleteadd this publication to your clipboard
On Specifying for Trustworthiness.

, , , , , , , , , , , , , , and . CoRR, (2022)

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 Ahmadi

Mohammad Reza Sarvati

Mohammad Reza Tawakoli

 

Other publications of authors with the same name

Throughput Analysis of Synchronous Data Flow Graphs., , , , , , , and . ACSD, page 25-36. IEEE Computer Society, (2006)Kaspar Causally Explains., , , , , , , , and . ICSR (2), volume 13818 of Lecture Notes in Computer Science, page 85-99. Springer, (2022)Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach., , , and . ICST Workshops, page 214-223. IEEE Computer Society, (2018)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)On the search for industry-relevant regression testing research., , , , , , , and . Empir. Softw. Eng., 24 (4): 2020-2055 (2019)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)Synchronizing Asynchronous Conformance Testing., , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 334-349. Springer, (2011)Basic behavioral models for software product lines: Expressiveness and testing pre-orders., , and . Sci. Comput. Program., (2016)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)