Start Over
You searched for: author_facet Mousavi, Mohammad Reza

Search Results

Cover image for Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Location
Access Content Online
Cover image for 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-

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-

Location
Access Content Online
Cover image for Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A

Location
Access Content Online
Cover image for Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B

Location
Access Content Online
Cover image for Formal Methods

Formal Methods

Location
Access Content Online
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Location
Access Content Online
Cover image for Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Location
Access Content Online
Cover image for Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

Location
Access Content Online
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Location
Access Content Online
Cover image for Modeling and analysis of communicating systems

Modeling and analysis of communicating systems

Location
Access Content Online