Formal Techniques for Distributed Objects, Components, and Systems المزيد من كتب Mohammad Reza Mousavi & Anna Philippou

Rebeca for Actor Analysis in Action

٢٠٢٥

Formal Methods: Foundations and Applications

٢٠١٨

Topics in Theoretical Computer Science

٢٠١٧

Cyber Physical Systems. Design, Modeling, and Evaluation

٢٠١٧

Topics in Theoretical Computer Science

٢٠١٦

Cyber Physical Systems. Design, Modeling, and Evaluation

٢٠١٥