中文
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
杨志斌
Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Scientific Research
Research Field
No content
Paper Publications
Yang Zhibin.系统架构描述语言AADL的功能行为建模扩展.计算机科学与探索.2019
Yang Zhibin.Hierarchical behavior annex: Towards an AADL functional specification extension.ACM/IEEE Int. Conf. Formal Methods Model. Syst. Des., MEMOCODE.2018
Yang Zhibin.一种同步语言多线程代码自动生成工具.软件学报.2019
Yang Zhibin.面向限定自然语言需求的AADL自动生成工具.小型微型计算机系统.2019
Yang Zhibin.Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.Front. Comput. Sci..2019
Yang Zhibin.基于限定自然语言需求模板的AADL模型生成方法.软件学报.2018
Patents
No content
Published Books
No content
Research Projects
No content
