From post

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.

 

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

Software Reliability Test Based on Markov Usage Model., , , , и . J. Softw., 7 (9): 2061-2068 (2012)Accelerating Software Model Checking Based on Program Backbone., , , , , и . APPT, том 8299 из Lecture Notes in Computer Science, стр. 347-358. Springer, (2013)Enhancing Concept Completeness for Graph Neural Networks via Side-Channel., , , , и . ICHMS, стр. 1-4. IEEE, (2024)A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning., , , , , и . DSA, стр. 311-316. IEEE, (2019)Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking., , , , и . ICPADS, стр. 844-851. IEEE, (2019)Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV., , , и . IEEE Access, (2017)An Intelligent Query System Based on Chinese Short Message Service for Restaurant Recommendation., , , и . ICMB, стр. 60. IEEE Computer Society, (2007)基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model)., , , , и . 计算机科学, 44 (4): 234-240 (2017)Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers., , , , и . ICA3PP (3), том 13157 из Lecture Notes in Computer Science, стр. 648-667. Springer, (2021)Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model., , , , , , и . IEEE Access, (2023)