M
Mohammad Reza Mousavi
6 works on record
Works

Modeling and Analysis of Communicating Systems

Topics in Theoretical Computer Science

Formal Methods : Foundations and Applications

Cyber Physical Systems. Design, Modeling, and Evaluation
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Rebeca for Actor Analysis in Action
Rebeca for Actor Analysis in Action