mohammad reza mousavi
Cyber Physical Systems. Design, Modeling, and Evaluation
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and E...
Cyber Physical Systems.Design, Modeling, and Evaluation
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and ...
Topics in Theoretical Computer Science
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereedpostconference proceedings of the First IFIP WG ...
Topics in Theoretical Computer Science
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference...
Formal Methods: Foundations and Applications
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods,...
Formal Techniques for Distributed Objects, Components, and Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference o...
Rebeca for Actor Analysis in Action
TaschenbuchPrint on DemandThis Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includ...
- 1