From post

Type Analysis and Automatic Static Detection of Infeasible Paths.

, , и . GSKI (2), том 849 из Communications in Computer and Information Science, стр. 294-304. Springer, (2017)

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.

 

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

B&Anet: Combining bidirectional LSTM and self-attention for end-to-end learning of task-oriented dialogue system., , и . Speech Commun., (2020)Green resource allocation in LTE system for unbalanced low load networks., , , и . PIMRC, стр. 1009-1014. IEEE, (2012)A conflict avoid method between Load Balancing and Mobility Robustness Optimization in LTE., , , и . ICCC, стр. 143-148. IEEE, (2012)Sensor fault diagnosis scheme design for spacecraft attitude control system., , , и . CAA SAFEPROCESS, стр. 523-528. IEEE, (2019)Integrated Design of Fault Diagnosis and Fault Tolerant Control for Spacecraft System., , и . CAA SAFEPROCESS, стр. 656-661. IEEE, (2019)Fault Diagnosis with Spacecraft High-Dimensional Data Based on Machine Learning., , , , и . CAA SAFEPROCESS, стр. 1-6. IEEE, (2021)The application of T-S fuzzy fault tree analysis in satellite attitude control system., , , и . INDIN, стр. 208-213. IEEE, (2012)Type Analysis and Automatic Static Detection of Infeasible Paths., , и . GSKI (2), том 849 из Communications in Computer and Information Science, стр. 294-304. Springer, (2017)Incremental Reliability Assessment of Large-Scale Software via Theoretical Structure Reduction., , , и . ICSOFT, стр. 241-248. SCITEPRESS, (2023)Strategyproof Mechanisms for 2-Facility Location Games with Minimax Envy., , , и . AAIM, том 12290 из Lecture Notes in Computer Science, стр. 260-272. Springer, (2020)