-
1دورية أكاديمية
المؤلفون: ZuXi Chen, HongKai Lin, Meng Mei, YongHua Zhu, XiaoYong Wang, ZhongWei Xu, XiangYu Luo
المصدر: Heliyon, Vol 10, Iss 11, Pp e31776- (2024)
مصطلحات موضوعية: Hierarchical safety requirements, Hazard analysis, System-theoretic process analysis, Communication-based train control, Science (General), Q1-390, Social sciences (General), H1-99
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Zuxi Chen, ShiFan Zhang, XianLi Zeng, Meng Mei, Xiangyu Luo, Lixiao Zheng
المصدر: PeerJ Computer Science, Vol 9, p e1749 (2023)
مصطلحات موضوعية: Depth-first search, Parallel path detection algorithm, Big data in banking, Fraudulent account detection, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Yuhao Wang, Shaobin Cai, Changlong Lin, Zuxi Chen, Tian Wang, Zhenguo Gao, Changli Zhou
المصدر: IEEE Access, Vol 7, Pp 10224-10231 (2019)
مصطلحات موضوعية: Consortium blockchain, consensus mechanism, credit, PBFT, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Sen Liang, Xiangyu Luo, Zuxi Chen
المصدر: MATEC Web of Conferences, Vol 128, p 04004 (2017)
مصطلحات موضوعية: Engineering (General). Civil engineering (General), TA1-2040
وصف الملف: electronic resource
Relation: https://doaj.org/toc/2261-236X
-
5مؤتمر
المؤلفون: Fuquan, Tang, Zuxi, Chen, Hanying, Wu
المصدر: 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet) Consumer Electronics, Communications and Networks (CECNet), 2012 2nd International Conference on. :2420-2423 Apr, 2012
Relation: 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet)
-
6
المؤلفون: Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang
المصدر: IEEE Transactions on Reliability. 71:933-950
مصطلحات موضوعية: Electrical and Electronic Engineering, Safety, Risk, Reliability and Quality
-
7
المؤلفون: Zhongwei Xu, Jing Guo, Junwei Du, Meng Mei, Zuxi Chen
المصدر: IEEJ Transactions on Electrical and Electronic Engineering. 12:710-720
مصطلحات موضوعية: Model checking, Theoretical computer science, Computer science, 020207 software engineering, 02 engineering and technology, Satisfiability, Automaton, Partial order reduction, Encoding (memory), Bounded function, Satisfiability modulo theories, Scalability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Electrical and Electronic Engineering, Algorithm
-
8
المؤلفون: Zuxi Chen, Xiangyu Luo, Huixing Fang
المصدر: TASE
مصطلحات موضوعية: Model checking, Theoretical computer science, Semantics (computer science), Computer science, Computer Science::Logic in Computer Science, Encoding (memory), Bounded function, Synchronization (computer science), Semantics encoding, Timestamp, Automaton
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c0760ddd0fe460af1ad9feef5e145596
https://doi.org/10.1109/tase.2019.00-14 -
9
المؤلفون: Zhongwei Xu, Zuxi Chen
المصدر: IEEJ Transactions on Electrical and Electronic Engineering. 10:S83-S90
مصطلحات موضوعية: Computer science, Deterministic automaton, Reachability, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Timed automaton, Pushdown automaton, Computer Science::Programming Languages, Büchi automaton, Electrical and Electronic Engineering, Spurious relationship, Algorithm, Abstraction (linguistics), Counterexample
-
10
المؤلفون: Zhongwei Xu, Lizhen Yu, Zuxi Chen, Shuqing Zhang
المصدر: Journal of Computer Applications. 33:3419-3422
مصطلحات موضوعية: Computer science, Programming language, Ladder logic, computer.software_genre, computer, Formal verification, Interlocking
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b16e6928d24755b55453ef2c483b3e42
https://doi.org/10.3724/sp.j.1087.2013.03419