( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.

, , и . ICSE, стр. 73-84. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Su Zhao

Qi Su

Mingxia Su

Su Zhou

Jianhua Su

 

Другие публикации лиц с тем же именем

Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems., и . ICFEM, том 8144 из Lecture Notes in Computer Science, стр. 297-312. Springer, (2013)Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles., , и . WICSA/ECSA, стр. 151-160. IEEE, (2012)Recognizing diseases with multivariate physiological signals by a DeepCNN-LSTM network., , , и . Appl. Intell., 51 (11): 7933-7945 (2021)Software architecture modelling and analysis in process algebra. University of Technology Sydney, Australia, (2013)An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection., , и . ECSA, том 6285 из Lecture Notes in Computer Science, стр. 8-23. Springer, (2010)Probabilistic model checking of perturbed MDPs with applications to cloud computing., , и . ESEC/SIGSOFT FSE, стр. 454-464. ACM, (2017)Ranking-Based Partner Selection Strategy in Open, Dynamic and Sociable Environments., , , , , , и . ICAART (Revised Selected Paper), том 14546 из Lecture Notes in Computer Science, стр. 267-285. Springer, (2023)Wavelet packet analysis for speaker-independent emotion recognition., , , и . Neurocomputing, (2020)Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes., , и . Future Internet, 15 (12): 378 (2023)Partner Selection Strategy in Open, Dynamic and Sociable Environments., , , , , , и . ICAART (2), стр. 231-240. SCITEPRESS, (2023)