Formal Methods for Industrial Critical Systems
2025년
Computer Performance Engineering
2025년
Quantitative Evaluation of Systems
2020년
Distributed Applications and Interoperable Systems
2020년
Computer Performance Engineering
2018년
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
2016년