E-LIB Suche - Ergebnisse für: Xia, Yechuan

Sortierung: Relevanz

Sortierung: Jahr

Accelerate Safety Model Checking Based on Complementary App..:

Zhang, Xiaoyu ; Xiao, Shengping ; Xia, Yechuan...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42 (2023) 9 - p. 3105-3117 , 2023

Link: https://doi.org/10.1109/..

Identifying Boundary Conditions with the Syntax and Semanti..:

Xia, Yechuan ; Li, Jianwen ; Xiao, Shengping..
http://arxiv.org/abs/2203.12903. , 2022

Link: http://arxiv.org/abs/220..

Application of EBF Based Generalized Dynamic Fuzzy Neural N..:

, In: Lecture Notes on Data Engineering and Communications Technologies; Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery,

Xia, Changhao ; Zhou, Liying ; Zhang, Yechuan. - p. 1280-1287 , 2021

Link: https://doi.org/10.1007/..

1-3