Rebeca for Actor Analysis in ActionMohammad Reza Mousavi, Edward A. Lee, Carolyn Talcott · First published 2025Open the Tome
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi, Anna Philippou · First published 2022Open the Tome
Microgrids and Methods of AnalysisGevork B. Garehpetian, Hamid Reza Baghaee, S. Mohammad Mousavi Agah, Masoud M. Shabestary, Mohammad Sanjari · First published 2020Open the Tome
Formal Methods : Foundations and ApplicationsTiago Massoni, Mohammad Reza Mousavi · First published 2018Open the Tome
Topics in Theoretical Computer ScienceMohammad Reza Mousavi, Jiří Sgall · First published 2016Open the Tome
Cyber Physical Systems. Design, Modeling, and EvaluationChristian Berger, Mohammad Reza Mousavi, Rafael Wisniewski · First published 2015Open the Tome
Modeling and Analysis of Communicating SystemsJan Friso Groote, Mohammad Reza Mousavi · First published 2014Open the Tome
