المؤلفون: Wang, Changjing, Xu, Fan, Luo, Haimei, Huang, Qing, Zuo, Zhengkang

المصدر: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2020 IEEE 20th International Conference on. :254-264 Dec, 2020

Relation: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)

المؤلفون: You, Zhen^{Aff10, Aff11}, Yi, Xinwu^{Aff10, Aff11, Aff12}, Xue, Jinyun^{Aff10, Aff11}, Hu, Hongwen^{Aff10, Aff11, Aff12}, Huang, Jiewen^Aff13, Cheng, Zhuo^{Aff10, 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, Yung, Moti, Editorial Board Member^Aff6, Liu, Shaoying, editor^Aff7, Duan, Zhenhua, editor^Aff8, Liu, Ai, editor^Aff9

المصدر: Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. 13854:3-11

المؤلفون: Zuo, Zhengkang, Fang, Yue, Huang, Qing, Liao, Yunyan, Wang, Yuan, Wang, Changjing

المصدر: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) QRS-C Software Quality, Reliability and Security Companion (QRS-C), 2020 IEEE 20th International Conference on. :670-671 Dec, 2020

Relation: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)

المؤلفون: Haihe Shi, Sunwen Lan, Riming Liu, Haipeng Shi

المصدر: Tehnički Vjesnik, Vol 30, Iss 3, Pp 742-749 (2023)

مصطلحات موضوعية: automatic verification, correctness by construction, pairwise sequence alignment, PAR method, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: https://hrcak.srce.hr/file/433787; https://doaj.org/toc/1330-3651; https://doaj.org/toc/1848-6339

URL الوصول: https://doaj.org/article/87ee45c2064845d6bd1e643abfa30e6d

المؤلفون: Shi, Haihe, Xue, Jinyun

المصدر: 2011 Fifth International Conference on Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on. :76-81 Aug, 2011

Relation: 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE)

المؤلفون: Shi, Haihe, Xue, Jinyun

المصدر: 2011 10th IEEE/ACIS International Conference on Computer and Information Science Computer and Information Science (ICIS), 2011 IEEE/ACIS 10th International Conference on. :287-291 May, 2011

Relation: 2011 IEEE/ACIS 10th International Conference on Computer and Information Science (ICIS)

المؤلفون: Yang, Qiuchen, Liu, Runjie, Shen, Jinyuan, Mu, Weixin

المصدر: 2010 International Workshop on Chaos-Fractal Theories and Applications Chaos-Fractals Theories and Applications (IWCFTA), 2010 International Workshop on. :458-461 Oct, 2010

Relation: 2010 International Workshop on Chaos-Fractals Theories and Applications (IWCFTA)

المؤلفون: Shi, Haihe, Xue, Jinyun

المصدر: 2010 10th International Conference on Quality Software Quality Software (QSIC), 2010 10th International Conference on. :270-275 Jul, 2010

Relation: 2010 10th International Conference on Quality Software (QSIC)

المؤلفون: Sun, Lingyu, Leng, Ming

المصدر: 2010 Second International Workshop on Education Technology and Computer Science Education Technology and Computer Science (ETCS), 2010 Second International Workshop on. 2:578-580 Mar, 2010

Relation: 2010 2nd International Workshop on Education Technology and Computer Science (ETCS)

المؤلفون: Pongrác Ács, Antal Kovács, Dávid Paár, Márk Hoffbauer, Péter Szabó, Tünde Szabó, Miklós Stocker

المصدر: BMC Public Health, Vol 20, Iss S1, Pp 1-9 (2020)

مصطلحات موضوعية: Physical inactivity, Economic burden, PAR-method, Direct costs, Indirect burden, Population attributable risk, Public aspects of medicine, RA1-1270

وصف الملف: electronic resource

Relation: http://link.springer.com/article/10.1186/s12889-020-08478-y; https://doaj.org/toc/1471-2458

URL الوصول: https://doaj.org/article/87517dd2cd5942ee85309430f697859b