المؤلفون: Xiao, Lili, Zhu, Huibiao, He, Mengda, Qin, Shengchao

المصدر: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2022 IEEE 46th Annual. :1-6 Jun, 2022

Relation: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)

المؤلفون: Zhao, Yongxin, Zhang, Xiujuan, Shi, Ling, Zeng, Gan, Sheng, Feng, Liu, Shuang

المصدر: 2019 26th Asia-Pacific Software Engineering Conference (APSEC) Software Engineering Conference (APSEC), 2019 26th Asia-Pacific. :331-338 Dec, 2019

Relation: 2019 26th Asia-Pacific Software Engineering Conference (APSEC)

المؤلفون: Cherrueau, Ronan-Alexandre, Douence, Remi, Sudholt, Mario

المصدر: 2015 IEEE Trustcom/BigDataSE/ISPA Trustcom/BigDataSE/ISPA, 2015 IEEE. 1:1037-1044 Aug, 2015

Relation: 2015 IEEE Trustcom/BigDataSE/ISPA

المؤلفون: Xiao, Lili^Aff11, Zhu, Huibiao^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Qin, Shengchao, editor^Aff8, Woodcock, Jim, editor^Aff9, Zhang, Wenhui, editor^Aff10

المصدر: Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings. 13071:81-101

المؤلفون: Dihego, José^{Aff18, Aff19}, Antonino, Pedro^Aff18, Sampaio, Augusto^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Groves, Lindsay, editor^Aff16, Sun, Jing, editor^Aff17

المصدر: Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:4-19

المؤلفون: Zhu, Hong^Aff18, Bayley, Ian^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Dong, Jin Song, editor^Aff16, Zhu, Huibiao, editor^Aff17

المصدر: Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. 6447:630-645

المؤلفون: Wang, Yingxu^Aff6

المساهمون: Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gavrilova, Marina L., editor^Aff1, Tan, C. J. Kenneth, editor^Aff2, Wang, Yingxu, editor^Aff3, Yao, Yiyu, editor^Aff4, Wang, Guoyin, editor^Aff5

المصدر: Transactions on Computational Science II. 5150:46-83

المؤلفون: Qin, Shengchao^Aff6, He, Jifeng^Aff7, Qiu, Zongyan^Aff6, Zhang, Naixiao^Aff6

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, George, Chris, editor^Aff4, Miao, Huaikou, editor^Aff5

المصدر: Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings. 2495:168-179

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Zhu, Huibiao, Qin, Shengchao, He, Jifeng, Bowen, Jonathan P.

المصدر: Innovations in Systems and Software Engineering: A NASA Journal. December 2009 5(4):271-284