Formal Techniques for Distributed Objects, Components, and Systems 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년