2015년 随机模型检验研究 隨機模型檢驗研究 수궤모형검험연구

2015년 中断驱动的嵌入式系统数据竞争检测工具 中斷驅動的嵌入式繫統數據競爭檢測工具 중단구동적감입식계통수거경쟁검측공구

2015년 物联网技术在信息机房制冷系统中的应用 物聯網技術在信息機房製冷繫統中的應用 물련망기술재신식궤방제랭계통중적응용

2014년 一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法 一種麵嚮信息物理融閤繫統安全攸關場景的測試用例自動生成方法 일충면향신식물리융합계통안전유관장경적측시용례자동생성방법

2014년 一种基于结构查询的UML设计模式识别方法 一種基于結構查詢的UML設計模式識彆方法 일충기우결구사순적UML설계모식식별방법

2014년 嵌入式系统软件设计方法与技术专刊前言 嵌入式繫統軟件設計方法與技術專刊前言 감입식계통연건설계방법여기술전간전언

2014년 血常规检验影响因素分析 血常規檢驗影響因素分析 혈상규검험영향인소분석

2013년 基于迁移系统分析的线性混成系统安全验证 基于遷移繫統分析的線性混成繫統安全驗證 기우천이계통분석적선성혼성계통안전험증

2013년 面向维护的实时软件时间变化敏感点检测 麵嚮維護的實時軟件時間變化敏感點檢測 면향유호적실시연건시간변화민감점검측

2013년 平阳县职业病危害因素监测结果 平暘縣職業病危害因素鑑測結果 평양현직업병위해인소감측결과

2014년 协同创新培养高端软件人才 協同創新培養高耑軟件人纔 협동창신배양고단연건인재

2008년 Internet环境下基于构件的软件理论与方法专刊前言 Internet環境下基于構件的軟件理論與方法專刊前言 Internet배경하기우구건적연건이론여방법전간전언

2008년 地方高校精品课程建设的探索 地方高校精品課程建設的探索 지방고교정품과정건설적탐색

2008년 "可信软件基础研究"重大研究计划综述 "可信軟件基礎研究"重大研究計劃綜述 "가신연건기출연구"중대연구계화종술

2007년 基于事件驱动的系统级仿真器的操作语义 基于事件驅動的繫統級倣真器的操作語義 기우사건구동적계통급방진기적조작어의

2007년 自动产生一个图书馆的快速原型 自動產生一箇圖書館的快速原型 자동산생일개도서관적쾌속원형

2007년 面向服务的计算专刊前言 麵嚮服務的計算專刊前言 면향복무적계산전간전언

2006년 模型驱动架构中模型构造与集成策略 模型驅動架構中模型構造與集成策略 모형구동가구중모형구조여집성책략

2006년 用FPGA的快速进位器优化卫语句的硬件综合 用FPGA的快速進位器優化衛語句的硬件綜閤 용FPGA적쾌속진위기우화위어구적경건종합

2006년 面向服务架构中服务实现的策略 麵嚮服務架構中服務實現的策略 면향복무가구중복무실현적책략