Mohammad Reza Mousavi

No bio available. Add one in Open Library.

Books by Mohammad Reza Mousavi (50 max)

+ shelf+ list

Modeling and Analysis of Communicating Systems

2014

Jan Friso Groote, Mohammad Reza Mousavi

+ shelf+ list

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, Cyphy 2015, Amsterdam, the Netherlands, October 8, 2015, Proceedings

2015

Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski

+ shelf+ list

Topics in Theoretical Computer Science The First IFIP WG 1. 8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2016

Mohammad Reza Mousavi, Jiří Sgall

+ shelf+ list

Formal Methods : Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2018

Tiago Massoni, Mohammad Reza Mousavi

+ shelf+ list

Formal Techniques for Distributed Objects, Components, and Systems 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, Proceedings

2022

Mohammad Reza Mousavi, Anna Philippou

+ shelf+ list

Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2025

Mohammad Reza Mousavi, Edward A. Lee, Carolyn Talcott