Formal Techniques for Distributed Objects, Components, and Systems More Books by Mohammad Reza Mousavi & Anna Philippou
Rebeca for Actor Analysis in Action
2025
Formal Methods: Foundations and Applications
2018
Topics in Theoretical Computer Science
2017
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Topics in Theoretical Computer Science
2016
Cyber Physical Systems. Design, Modeling, and Evaluation
2015