温颖文
【姓名】 温颖文
【职称】
【研究领域】 计算机软件及计算机应用;自然地理学和测绘学;互联网技术;
【研究方向】
【发表文献关键词】 时间Petri网,弱语义,形式语义,可达性分析,语义模型,到达时间间隔,时间戳,形式化分析,使能,实施时间,时间性质,带标号,实时系统,状态集,系统定义,初始状态,建模,初始标识,网模型,可达状态,
【工作单位】 中山大学
【曾工作单位】 中山大学;
【所在地域】 广州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 1 0 2 7 792
中国期刊全文数据库    共找到1篇
[1]潘理;温颖文;.时间Petri网弱语义模型的形式化分析[J]计算机工程与应用.2006,(13)
更多
中国优秀硕士学位论文全文数据库    共找到1篇