Mohammad Reza Mousavi - Böcker

Modeling and Analysis of Communicating Systems

Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems

42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings

Rebeca for Actor Analysis in Action

Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Cyber Physical Systems. Design, Modeling, and Evaluation

5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Topics in Theoretical Computer Science

The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation

6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers