Auteur: Mohammad Reza Mousavi

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in …

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, Cy Phy 2015, held as part of ESWeek 2015, in Amsterdam, The Neth …

This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.8 International Conferenceon Topics in Theoretical Computer Science, held in Tehran, Iran, in August201 …

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, Cy Phy2016, held in conjunction with ESWeek 2016, in Pittsburgh, …

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 …

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems Complex communicating computer systems-computers connected by data netw …

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy …