看不清,换一个
记住密码
无法访问您的账户?
确定
该学科分类下暂无学术成果
【期刊论文】数据流图到结构图的转换工具DTST*
段振华, 郝克刚
【期刊论文】从控制传播图导出分层结构图
【期刊论文】A Peer-to-Peer Based Antispam Network
段振华, Wenqiang Wang, Zhenhua Duan, Ertao Lv
【期刊论文】A Framed Temporal Logic Programming Language
段振华, Zhen-Hua Duan, and Maciej Koutny
【期刊论文】论回溯自动机
段振华, 郝克刚, 李新
【期刊论文】Projection in Temporal Logic Programming*
段振华, Zhenhua Duan**, Macifj Koutny and Chris Holt
【期刊论文】控制传布图到结构图的转换算法
【期刊论文】回溯自动机的两个基本定理
【期刊论文】多出口Petri网与Petri网的等价性*
段振华 , 郝克刚
【期刊论文】Specification of a Soaking Pit Furnace System in Parallel Hybrid Mochines*
段振华, Z.H. Duan, W.M. Holcombe, D.A. Linkens
【期刊论文】控制传布图及其算法*
【期刊论文】Traceable X-Machines As Models for Descrbing User Interfaces
段振华, Mike Holcombe, Zhenhua Duan
【期刊论文】TIMED INTERVAL TEMPORAL LOGIC AND MODELLING OF HYBRID SYSTEMSL
段振华, Z.H. Duan, and W.M. Holcombe, D.A. Linkens
生成主页
您搜索的内容暂无专辑!
中华人民共和国教育部 教育部科技发展中心 中国教育与科研计算机网 教育部学位与研究生教育发展中心 国家留学基金委
中国学术会议在线 中国教育人力资源系统 中国教育新闻网 神州学人 中国教育在线