赖明志
【姓名】 赖明志
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 Xu-scheduling算法,UML状态图,调度,事件,排斥关系,计算Internet,优先关系,层次自动机模型,硬实时系统,自动机,PVS,通知机制,Interne,时间化自动机,预处理算法,模型...
【工作单位】 上海交通大学
【曾工作单位】 上海交通大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/6 4 6 5 70 536
中国期刊全文数据库    共找到6篇
[1]赖明志,尤晋元.使用时间化自动机形式化带有时间扩展的UML状态图[J]计算机应用.2003,(08)
[2]赖明志,尤晋元.UML statechart based rigorous modeling of real-time system[J]Journal of Harbin Institute of Technology.2005,(01)
[3]赖明志,尤晋元.Rigorous Modeling of Real-time System Based on UML and PVS[J]Journal of DongHua University.2005,(01)
[4]张萌,陈英,赖明志,尤晋元.一种进程调度的预处理算法[J]计算机工程.2001,(08)
[5]赖明志,陈英,傅城,尤晋元.一种Internet计算中的事件观察与通知机制设计框架[J]计算机工程.2001,(10)
[6]赖明志,尤晋元.从UML状态图到PVS规范的自动转换、验证[J]电子学报.2002,(S1)
更多