Mohammad Reza Mousavi
Mohammad Reza Mousavi
3 books in the database
Books
Topics in Theoretical Computer ScienceMohammad Reza Mousavi
Topics in Theoretical Computer Science
Mohammad Reza Mousavi · 2016
Rebeca for Actor Analysis in ActionMohammad Reza Mousavi
Rebeca for Actor Analysis in Action
Mohammad Reza Mousavi · 2025
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi · 2022
Co-authored books and collections
Books that list Mohammad Reza Mousavi among their authors but not as the lead author: co-written works, collections and compilations.
Cyber Physical Systems. Design, Modeling, and EvaluationChristian Berger
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger · 2015
Modeling and Analysis of Communicating SystemsJan Friso Groote
Modeling and Analysis of Communicating Systems
Jan Friso Groote · 2014
Formal Methods : Foundations and ApplicationsTiago Massoni
Formal Methods : Foundations and Applications
Tiago Massoni · 2018