QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Template-based AADL automatic code generation 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 页码: 698-714 作者:  Hu, Kai;  Duan, Zhangbo;  Wang, Jiye;  Ga, Lingchao;  Shang, Lihong 收藏  |  浏览/下载：11/0  |  提交时间：2019/12/30 real-time system  template  formal methods  AADL  automatic code generation   Formal Modeling and Verification of Smart Contracts 会议论文 PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018-01-01 作者:  Bai, Xiaomin;  Cheng, Zijing;  Duan, Zhangbo;  Hu, Kai 收藏  |  浏览/下载：17/0  |  提交时间：2019/12/30 Smart contracts  Formal methods  Model checking  Modeling  Formal Verification  SPIN   Formal Modeling and Verification of Blockchain System 会议论文 PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018), 2017-01-01 作者:  Duan, Zhangbo;  Mao, Hongliang;  Chen, Zhidong;  Bai, Xiaomin;  Hu, Kai 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Blockchain protocols  Formal methods  Model-checking  Formal Verification   甘肃南部小麦白粉菌群体的毒性及多基因片段分析 期刊论文 植物病理学报, 2014, 期号: 04, 页码: 414-421 作者:  石琳;  段霞瑜;  高洁;  周益林;  曹世勤 收藏  |  浏览/下载：2/0  |  提交时间：2017/10/23 毒性监测  多基因家系  群体遗传结构   甘肃中部麦区小麦条锈病菌越夏调查及品种抗性变异监测结果初报 期刊论文 植物保护, 2011, 期号: 03, 页码: 133-138 作者:  曹世勤;  金社林;  段霞瑜;  骆惠生;  刘太国 收藏  |  浏览/下载：3/0  |  提交时间：2017/10/23 小麦条锈病  陇中麦区  越夏  品种抗性