中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Current position:
Home
>>
Scientific Research
>>
Paper Publications
杨志斌
Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Paper Publications
[1]Yang Zhibin,Yang Zhibin,许金淼,Huang ZhiQiu,Xie Jian,zy.系统架构描述语言AADL的功能行为建模扩展:计算机科学与探索,2019
[2]Yang Zhibin,Xu, Jinmiao,杨志斌,黄志球,Yang Zhibin,Xu, Jinmiao,Huang ZhiQiu,zyg,Liu, Chengwei,Xue, Lei,Bodeveix, Jean-Paul,Filali, Mamoun.Hierarchical behavior annex: Towards an AADL functional specification extension:ACM/IEEE Int. Conf. Formal Methods Model. Syst. Des., MEMOCODE,2018
[3]Yang Zhibin,Yang Zhibin,袁胜浩,Xie Jian,zy,Zhe Chen,薛垒,BODEVEIX Jean-Paul,FILALI Mamoun.一种同步语言多线程代码自动生成工具:软件学报,2019
[4]Yang Zhibin,Yang Zhibin,刘承威,zy,袁胜浩,许金淼,薛垒.面向限定自然语言需求的AADL自动生成工具:小型微型计算机系统,2019
[5]Yang Zhibin,Yang Zhibin,Bodeveix, Jean-Paul,Filali, Mamoun.Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL:Front. Comput. Sci.,2019
[6]Yang Zhibin,Yang Zhibin,王飞,Huang ZhiQiu,zy,刘承威,章文炳,薛垒,许金淼.基于限定自然语言需求模板的AADL模型生成方法:软件学报,2018
total6 1/1
first
previous
next
last