Mohammad Reza Mousavi

• Cyber Physical Systems. Design, Modeling, and Evaluation
• Formal Methods : Foundations and Applications
• Modeling and Analysis of Communicating Systems
• Topics in Theoretical Computer Science
• Formal Techniques for Distributed Objects, Components, and Systems
• Rebeca for Actor Analysis in Action