Mohammad Reza Mousavi
Mohammad Reza Mousavi
3 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Mohammad Reza Mousavi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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