QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 专题：华南理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Comparing and improving the synthesis of state-based specifications from scenario-based specifications (EI收录SCI收录) 期刊论文 International Journal of Software Engineering and Knowledge Engineering, 2012, 卷号: 22, 页码: 867-890 作者:  Wang, Zhijian[1];  Li, Wenrui[1,2,3];  Zhang, Pengcheng[1,4] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26 Algorithms   OXYGEN DELIGNIFICATION AND D-1(EOP)D-2 BLEACHING OF MIXED PULP BLENDED BY PINUS MASSONIANA PULP, EUCALYPTUS PULP AND BAMBOO PULP (CPCI-S收录) 会议论文 16TH INTERNATIONAL SYMPOSIUM ON WOOD, FIBER AND PULPING CHEMISTRY, PROCEEDINGS, VOLS I & II 作者:  Fan, Huiming[1];  Ma, Yaqi[1];  Liu, Jian-an[1];  Bai, Wenrui[1];  Meng, Fanna[1] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/15 oxygen delignification  bleaching  mixed pulp  different proportions   Model checking WS-BPEL with universal modal sequence diagrams (EI收录) 会议论文 Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 2011 - May 18, 2011 作者:  Li, Wenrui[1,2];  Yang, Zhongxue[2];  Zhang, Pengcheng[1,3];  Wang, Zhijian[3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/15 Information science  Semantics  Specifications   Oxygen delignification and D1(EOP)D2 bleaching of mixed pulp blended by pinus massoniana pulp, eucalyptus pulp and bamboo pulp (EI收录) 会议论文 16th International Symposium on Wood, Fiber and Pulping Chemistry - Proceedings, ISWFPC, Tianjin, China, June 8, 2011 - June 10, 2011 作者:  Fan, Huiming[1];  Ma, Yaqi[1];  Liu, Jian-An[1];  Bai, Wenrui[1];  Meng, Fanna[1] 收藏  |  浏览/下载：7/0  |  提交时间：2019/04/15 Bamboo  Bleaching  Chlorine  Cleaning  Delignification  Luminance  Oxygen  Wood   Generating probabilistic temporal logic formulas from probabilistic scenario-based specifications (EI收录) 会议论文 Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29, 2011 - August 31, 2011 作者:  Li, Wenrui[1,3];  Zhang, Pengcheng[2,3];  Wang, Zhijian[2];  Yang, Zhongxue[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Model checking  Software engineering  Specifications  Stochastic models  Stochastic systems  Syntactics  Temporal logic