ZhiBin Yang(杨志斌)关注立即认领分享关注立即认领分享基本信息浏览量:4职业迁徙个人简介暂无内容研究兴趣论文共 21 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构基于机器学习的SCADE模型组合验证环境假设自动生成方法 张泽伦,杨志斌, 李晓劼, 周勇, 李维计算机科学(2023)引用0浏览0引用00一种SCADE同步语言程序安全属性自动验证工具孙毅,陈哲,冉丹,杨志斌小型微型计算机系统(2022)引用0浏览0引用00安全关键软件的AADL模型自动逆向构造方法 邱志凯,杨志斌,谢健,周勇,程高辉,陈俊文小型微型计算机系统(2022)引用0浏览0引用00安全关键系统多范式建模及安全性分析方法 李书铭,杨志斌,谢健,周勇,陈静小型微型计算机系统(2022)引用0浏览0引用00面向英文句子的框架语义扩展及相似度计算刘文静,王铁鑫,杨志斌,曹静雯小型微型计算机系统(2021)引用0浏览0引用00面向航空航天特色新工科的编译原理教学改革探索杨志斌,周勇,王立松软件导刊(2021)引用1浏览0引用10基于AADL的航天嵌入式软件Ada代码自动生成方法 冯思喆,杨志斌,薛垒计算机与现代化(2020)引用1浏览0引用10一种同步语言多线程代码自动生成工具杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒, Jean-Paul BODEVEIX, Mamoun FILALI软件学报(2019)引用2浏览0引用20问题驱动的系统类计算思维培养探索周勇,谢红梅,钱忠民,杨志斌工业和信息化教育(2018)引用0浏览0引用00一种安全攸关嵌入式系统需求追踪方法陈光颖, 阚双龙,杨志斌,王飞,沈国华,黄志球计算机学报no. 3 (2018): 652-669引用2浏览0引用20加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn