沈毅
【姓名】 沈毅
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;经济体制改革;
【研究方向】
【发表文献关键词】 形式规格说明,验证,Z,证明责任,前置条件,不变式,产生器,形式方法,状态模式,工作过程,存储块,定理证明器,用户需求,一致性,类型检查,工具集成,初始状态,检查器,谓词,形式规格说明语言,
【工作单位】 上海大学
【曾工作单位】 上海大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 2 1 2 7 311
中国期刊全文数据库    共找到3篇
[1]沈毅;.论经济发展与政府规制改革的关系[J]商业时代.2011,(01)
[2]张磊;张博锋;沈毅;.基于关系着色图的Timetabling算法研究及其应用[J]计算机应用与软件.2008,(07)
[3]沈毅,缪淮扣,文志诚,陈怡海.一个Z的证明责任产生器[J]上海大学学报(自然科学版).2005,(05)
更多
承担国家科研项目    共找到1个
[1]沈毅.高速铁路与民航的竞争、合作与产业政策：基于发展我国国际运输枢纽的视角[A].上海大学.项目经费 7万元.2010-05-28.资助文献数 0 篇
更多