发表服务
形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延生成为计算思维的重要载体。 中国计算机学会形式化方法专业委员会立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与 ...
FMAC 全国形式化方法与应用会议 中国计算机学会主办，立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作，在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作，促进形式化方法在中国的发展。
计算机研究与发展. 月刊.1958年创刊. 主编：徐志伟. 中国计算机学会会刊. 推荐文章 更多>>. 基于深度学习的图异常检测技术综述. OpenFlow交换机流表溢出缓解技术研究综述. 处理器芯片敏捷设计方法：问题与挑战. 实现软硬件解耦合的类脑计算硬件设计方法.
期刊出版形式差错数计算方法 【打印本页】 【关闭页面】 上一篇： 新闻出版总署关于加强养生保健类出版物管理的通知 下一篇： 国家新闻出版署关于进一步加强网络文学出版管理的通知 ...
形式化方法B及其程序规约机理[J].计算机工程,2004,30(16):16-18. 被引量：16 3 邵开丽,王命延.VDM在银行软件开发中的应用[J].科技广场,2005(2):42 4 姜梦稚,张桂戌.基于Petri网和B语言集成的形式化
中国期刊网,期刊,杂志,读者服务,电子杂志,论文,文库,期刊网,电子刊 [导读] 摘要：新课程标准规定培养学生的科学探究的能力，要求运用科学的教学方法让学生在高效地进行学习。新人教版高中生物教材中包含教学的理念和教学方法，为学生学习生物提供了基础。
维普中文期刊服务平台，是重庆维普资讯有限公司标准化产品之一，本平台以《中文科技期刊数据库》为数据基础，通过对国内出版发行的15000余种科技期刊、7000万篇期刊全文进行内容组织和引文分析，为高校图书馆、情报所、科研机构及企业用户提供一站式文献服务。
领域本体构建方法概述 作者 白宁超 2015年11月6日11:07:46 摘要： 领域本体的构建方法是当前本体研究的热点问题之一。 但是，目前的领域本体的创建还缺乏系统的、针对所有领域的、工程化的方法。本文介绍了本体的相关理论，和基本构建知识，并 ...
这样，高效准确的安全协议的形式化分析是必不可少的。所以形式化方法分析安全协议已成为目前研究的重点。本文以H.530协议为例给出其形式化分析与模型检测。 关键词：H.530协议；形式化分析；模型检测 中图分-龙源期刊网
符鸿飞，上海交通大学约翰·霍普克罗夫特计算机科学中心助理教授。他于2010年赴德国亚琛工业大学计算机科学系攻读形式化方法相关的博士学位，读博期间，符鸿飞主要研究概率系统形式化验证。获得博士学位之后，符鸿飞开展了博士后研究，和奥地利科学技术研究院（IST Austria）的Krishnendu ...
形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延生成为计算思维的重要载体。 中国计算机学会形式化方法专业委员会立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与 ...
FMAC 全国形式化方法与应用会议 中国计算机学会主办，立足于形式化方法核心内容，深化拓展形式化方法与相关领域的交叉，加强学术界与工业界合作，在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作，促进形式化方法在中国的发展。
计算机研究与发展. 月刊.1958年创刊. 主编：徐志伟. 中国计算机学会会刊. 推荐文章 更多>>. 基于深度学习的图异常检测技术综述. OpenFlow交换机流表溢出缓解技术研究综述. 处理器芯片敏捷设计方法：问题与挑战. 实现软硬件解耦合的类脑计算硬件设计方法.
期刊出版形式差错数计算方法 【打印本页】 【关闭页面】 上一篇： 新闻出版总署关于加强养生保健类出版物管理的通知 下一篇： 国家新闻出版署关于进一步加强网络文学出版管理的通知 ...
形式化方法B及其程序规约机理[J].计算机工程,2004,30(16):16-18. 被引量：16 3 邵开丽,王命延.VDM在银行软件开发中的应用[J].科技广场,2005(2):42 4 姜梦稚,张桂戌.基于Petri网和B语言集成的形式化
中国期刊网,期刊,杂志,读者服务,电子杂志,论文,文库,期刊网,电子刊 [导读] 摘要：新课程标准规定培养学生的科学探究的能力，要求运用科学的教学方法让学生在高效地进行学习。新人教版高中生物教材中包含教学的理念和教学方法，为学生学习生物提供了基础。
维普中文期刊服务平台，是重庆维普资讯有限公司标准化产品之一，本平台以《中文科技期刊数据库》为数据基础，通过对国内出版发行的15000余种科技期刊、7000万篇期刊全文进行内容组织和引文分析，为高校图书馆、情报所、科研机构及企业用户提供一站式文献服务。
领域本体构建方法概述 作者 白宁超 2015年11月6日11:07:46 摘要： 领域本体的构建方法是当前本体研究的热点问题之一。 但是，目前的领域本体的创建还缺乏系统的、针对所有领域的、工程化的方法。本文介绍了本体的相关理论，和基本构建知识，并 ...
这样，高效准确的安全协议的形式化分析是必不可少的。所以形式化方法分析安全协议已成为目前研究的重点。本文以H.530协议为例给出其形式化分析与模型检测。 关键词：H.530协议；形式化分析；模型检测 中图分-龙源期刊网
符鸿飞，上海交通大学约翰·霍普克罗夫特计算机科学中心助理教授。他于2010年赴德国亚琛工业大学计算机科学系攻读形式化方法相关的博士学位，读博期间，符鸿飞主要研究概率系统形式化验证。获得博士学位之后，符鸿飞开展了博士后研究，和奥地利科学技术研究院（IST Austria）的Krishnendu ...
发表服务