中文
Home
Scientific Research
Research Team
Research Projects
Published Books
Patents
Paper Publications
Research Field
Teaching Research
Teaching Achievement
Teaching Information
Teaching Resources
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
More
+
Doctoral Degree
大连理工大学
Recommended MA Supervisor
Personal Information
Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn
VIEW MORE
Home
>
Scientific Research
>
Paper Publications
hougang, Frank Zhou.基于换乘次数最少的公交网络最优路径模型研究[J],计算机技术与发展,2008,1:44-47
2022-07-03
Frank Zhou, 任龙涛, wangxiaolong, 勇嘉伟, hougang.基于层次化时间STM软件设计的形式化验证[J],计算机科学,2014,8:42-46
2022-07-03
郝佳亮, Frank Zhou, hougang, 姜海洋, 郭铖.基于排队Petri网的战时物流中心能力与风险评估[J],计算机工程与应用,2016,21:263-270
2022-07-03
hougang, Frank Zhou, Wang Jie, 常军旺, Mike LI.基于时延STM的软件形化建模与验证方法[A],第七届信息安全漏洞分析与风险评估大会,2022,156-165
2022-07-03
Frank Zhou, 常军旺, hougang, 任龙涛, wangxiaolong.基于时间Petri网的嵌入式系统中断建模与验证[J],计算机科学,2022,9:205-209,219
2022-07-03
hougang, Frank Zhou, 常军旺, Wang Jie, Mike LI.基于时间STM的软件形式化建模与验证方法?[J],软件学报,2022,2:223-238
2022-07-03
chizongzheng, hougang, renzhilei, Xiangjie Kong, Lai Xiaochen, XIA FENG.基于社交网络手段的移动微课平台建设探索[J],实验室科学,2022,20(4):65-69
2022-07-03
wangxiaolong, Frank Zhou, 勇嘉伟, 任龙涛, hougang.基于程序骨架的软件模型验证加速方法[A],2013全国高性能计算学术年会,2022,736-740
2022-07-03
李显杰, Frank Zhou, Wang Jie, hougang, cuikai.基于遗传算法的嵌入式软件WCSD检测方法[J],计算机工程与应用,2022,36:58-63
2022-07-03
total79 8/8
first
previous
next
last
Page
