Mohammad Reza Mousavi الكتب

Rebeca for Actor Analysis in Action

٢٠٢٥

Formal Techniques for Distributed Objects, Components, and Systems

٢٠٢٢

Formal Methods: Foundations and Applications

٢٠١٨

Topics in Theoretical Computer Science

٢٠١٧

Cyber Physical Systems. Design, Modeling, and Evaluation

٢٠١٧

Topics in Theoretical Computer Science

٢٠١٦

Cyber Physical Systems. Design, Modeling, and Evaluation

٢٠١٥