Formal Methods for Industrial Critical Systems
٢٠٢٥
Computer Performance Engineering
٢٠٢٥
Quantitative Evaluation of Systems
٢٠٢٠
Distributed Applications and Interoperable Systems
٢٠٢٠
Computer Performance Engineering
٢٠١٨
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
٢٠١٦