Performance Evaluation Methodologies and Tools Performance Evaluation Methodologies and Tools
2026
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2025
Computer Performance Engineering Computer Performance Engineering
2025
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
2020
Distributed Applications and Interoperable Systems Distributed Applications and Interoperable Systems
2020
Computer Performance Engineering Computer Performance Engineering
2018