Property-oriented testing of real-time systems
SHUHAO LI, WANE, Ji, WEI DONG, QI, Zhi-Chane
Published in 11th Asia-Pacific Software Engineering Conference (2004)
Published in 11th Asia-Pacific Software Engineering Conference (2004)
Get full text
Conference Proceeding
New vacuum solar telescope and observations with high resolution
Liu, Zhong, Xu, Jun, Gu, Bo-Zhong, Wang, Sen, You, Jian-Qi, Shen, Long-Xiang, Lu, Ru-Wei, Jin, Zhen-Yu, Chen, Lin-Fei, Lou, Ke, Li, Zhi, Liu, Guang-Qian, Xu, Zhi, Rao, Chang-Hui, Hu, Qi-Qian, Li, Ru-Feng, Fu, Hao-Wen, Wang, Feng, Bao, Men-Xian, Wu, Ming-Chan, Zhang, Bo-Rong
Published in Research in astronomy and astrophysics (01.06.2014)
Published in Research in astronomy and astrophysics (01.06.2014)
Get full text
Journal Article
Improved method to generate path-wise test data
Shan, JinHui, Wang, Ji, Qi, ZhiChang, Wu, JianPing
Published in Journal of computer science and technology (01.03.2003)
Published in Journal of computer science and technology (01.03.2003)
Get full text
Journal Article
Corrosion Behavior of Welded Joints for Cargo Oil Tanks of Crude Oil Carrier
WEI, Jin-shan, QI, Yan-chang, TIAN, Zhi-ling, PENG, Yun
Published in Journal of iron and steel research, international (01.09.2016)
Published in Journal of iron and steel research, international (01.09.2016)
Get full text
Journal Article
Model checking UML statecharts
Wei Dong, Ji Wang, Xuan Qi, Zhi-Chang Qi
Published in Proceedings Eighth Asia-Pacific Software Engineering Conference (2001)
Published in Proceedings Eighth Asia-Pacific Software Engineering Conference (2001)
Get full text
Conference Proceeding
Generating test oracle for role binding in multi-agent systems
Xin Wang, Qi Yan, Xinjun Mao, ZhiChang Qi
Published in Tenth Asia-Pacific Software Engineering Conference, 2003 (2003)
Published in Tenth Asia-Pacific Software Engineering Conference, 2003 (2003)
Get full text
Conference Proceeding
Key genes expressed in different stages of spinal cord ischemia/reperfusion injury
Li, Jian-an, Zan, Chun-fang, Xia, Peng, Zheng, Chang-jun, Qi, Zhi-ping, Li, Chun-xu, Liu, Zhi-gang, Hou, Ting-ting, Yang, Xiao-yu
Published in Neural regeneration research (01.11.2016)
Published in Neural regeneration research (01.11.2016)
Get full text
Journal Article
Soft gene, role, agent: MABS learns from sociology
Qi Yan, XinJun Mao, LiJun Shan, ZhiChang Qi, Hong Zhu
Published in IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003 (2003)
Published in IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003 (2003)
Get full text
Conference Proceeding
Myocardial condition after transcoronary ablation predicts the curative effect in patients with hypertrophic obstructive cardiomyopathy
Jiang, Teng-yong, Wu, Xue-si, Han, Zhi-hong, Jia, Chang-qi, Mi, Hong-zhi, Gao, Yue-chun, Zhang, Xiao-ling
Published in Chinese medical journal (05.02.2006)
Published in Chinese medical journal (05.02.2006)
Get full text
Journal Article
中国缺血性卒中及短暂性脑缺血发作患者血脂长期管理科学声明 Scientific Statement on the Long-Term Lipid Management in Patients with Ischemic Stroke and Transient Ischemic Attack in China
中国卒中学会医疗质量管理与促进分会,《中国缺血性卒中及短暂性脑缺血发作患者血脂长期管理科学声明》编写组(Chinese Stroke Association’s Subcommittee on Medical Quality Management and Promotion, Writing Group of Scientific Statement on the Long-Term Lipid Management in Patients with Ischemic Stroke and Transient Ischemic Attack in China)
Published in Zhongguo cuzhong zazhi (01.04.2024)
Published in Zhongguo cuzhong zazhi (01.04.2024)
Get full text
Journal Article