-
1دورية أكاديمية
المصدر: Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 07:1-07:19 (2022)
مصطلحات موضوعية: verification, reachability analysis, distributed cyber-physical systems, Technology, Electrical engineering. Electronics. Nuclear engineering, TK1-9971, Electronics, TK7800-8360
وصف الملف: electronic resource
-
2مؤتمر
المصدر: 2024 IEEE 11th International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC) Computational Cybernetics and Cyber-Medical Systems (ICCC), 2024 IEEE 11th International Conference on. :000273-000282 Apr, 2024
Relation: 2024 IEEE 11th International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC)
-
3تقرير
المؤلفون: Wang, Xingyao, Li, Boxuan, Song, Yufan, Xu, Frank F., Tang, Xiangru, Zhuge, Mingchen, Pan, Jiayi, Song, Yueqi, Li, Bowen, Singh, Jaskirat, Tran, Hoang H., Li, Fuqiang, Ma, Ren, Zheng, Mingzhang, Qian, Bill, Shao, Yanjun, Muennighoff, Niklas, Zhang, Yizhe, Hui, Binyuan, Lin, Junyang, Brennan, Robert, Peng, Hao, Ji, Heng, Neubig, Graham
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language
URL الوصول: http://arxiv.org/abs/2407.16741
-
4تقرير
-
5
-
6تقرير
-
7مؤتمر
المصدر: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2023 RIVF International Conference on. :19-24 Dec, 2023
Relation: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF)
-
8مؤتمر
المؤلفون: Tran Hoang, Nhat Huy, Nguyen, The Hiep, Vu Nguyen, Minh Huy, Tran, Trung Thai, Le, Xuan Huy, Nguyen, Duc Dung
المصدر: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2023 RIVF International Conference on. :248-253 Dec, 2023
Relation: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF)
-
9مؤتمر
المؤلفون: Truc Tran, Linh Ngoc, Nguyen, Nguyen Duc, Duc, Hieu Vu, Viet, Hoang Nguyen, Tung, Lam Nguyen, Tran, Hoang-Viet, Hung, Pham Ngoc
المصدر: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2023 RIVF International Conference on. :412-417 Dec, 2023
Relation: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF)
-
10