Mohammad Reza Mousavi

Identifiers

Open LibraryOL7714342A

Top Subjects

Telecommunication systems (1)
Computer science, mathematics (1)
Machine theory (1)
Embedded computer systems (1)
System design (1)
Computer science (1)

Books by Mohammad Reza Mousavi

Total count: 6

Modeling and Analysis of Communicating Systems

MIT Press2014-01-01
Cyber Physical Systems. Design, Modeling, and Evaluation5th International Workshop, Cyphy 2015, Amsterdam, the Netherlands, October 8, 2015, Proceedings

Springer London, Limited2015-01-01
Topics in Theoretical Computer ScienceThe First IFIP WG 1. 8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Springer London, Limited2016-01-01
Formal Methods : Foundations and Applications21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Springer2018-10-24
Formal Techniques for Distributed Objects, Components, and Systems42nd 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-18, 2022, Proceedings

Springer International Publishing AG2022-01-01
Rebeca for Actor Analysis in ActionEssays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Springer2025-01-01