-
1مؤتمر
المؤلفون: Gauthier, Louis, Prevosto, Virgile, Signoles, Julien
المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024
Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
-
2مؤتمر
المؤلفون: Strauch, Tobias
المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024
Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
-
3مؤتمر
المؤلفون: Wang, Qiming, Liu, Jianghao, Guo, Dakai, Yu, Wensheng
المصدر: 2023 9th International Conference on Computer and Communications (ICCC) Computer and Communications (ICCC), 2023 9th International Conference on. :1520-1524 Dec, 2023
Relation: 2023 9th International Conference on Computer and Communications (ICCC)
-
4مؤتمر
المؤلفون: Gao, Chang, Zhou, Yanwen, Yu, Wensheng
المصدر: 2023 9th International Conference on Computer and Communications (ICCC) Computer and Communications (ICCC), 2023 9th International Conference on. :1510-1514 Dec, 2023
Relation: 2023 9th International Conference on Computer and Communications (ICCC)
-
5مؤتمر
المصدر: 2023 IEEE Real-Time Systems Symposium (RTSS) RTSS Real-Time Systems Symposium (RTSS), IEEE 2023. :13-26 Dec, 2023
Relation: 2023 IEEE Real-Time Systems Symposium (RTSS)
-
6مؤتمر
المؤلفون: Zhou, Yanwen, Gao, Chang, Yu, Wensheng
المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :5726-5730 Nov, 2023
Relation: 2023 China Automation Congress (CAC)
-
7مؤتمر
المؤلفون: Guo, Dakai, Wang, Qiming, Liu, Jianghao, Yu, Wensheng
المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :2792-2796 Nov, 2023
Relation: 2023 China Automation Congress (CAC)
-
8مؤتمر
المؤلفون: Leng, Shukun, Guo, Dakai, Yu, Wensheng
المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :6683-6687 Nov, 2023
Relation: 2023 China Automation Congress (CAC)
-
9مؤتمر
المؤلفون: Zhang, Qimeng, Yu, Wensheng
المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :1926-1930 Nov, 2023
Relation: 2023 China Automation Congress (CAC)
-
10مؤتمر
المصدر: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :32-35 Sep, 2023
Relation: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH)