论文降重
免费查重
推荐文章
形式化方法介绍及其在工程中的应用
形式化方法
形式规范
形式验证
软件工程
硬件设计
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
CIM建模及模型形式化方法研究综述
计算无关模型
多视图多层次模型
模型一致性
模型形式化
DO-333标准形式化方法研究
安全关键系统
机载软件
形式化方法
形式化模型
形式化分析
DO-333
DO-178C
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1998(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
形式化方法
应用领域
软件开发
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
国际学术动态
主办单位：
华中科技大学
出版周期：
双月刊
ISSN：
CN：
开本：
大16开
出版地：
武汉市华中科技大学图书馆
邮发代号：
创刊时间：
1983
语种：
chi
出版文献量（篇）
5523
总下载数（次）
22
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
国际学术动态2020
国际学术动态2019
国际学术动态2018
国际学术动态2017
国际学术动态2016
国际学术动态2015
国际学术动态2014
国际学术动态2013
国际学术动态2012
国际学术动态2011
国际学术动态2010
国际学术动态2009
国际学术动态2008
国际学术动态2007
国际学术动态2006
国际学术动态2005
国际学术动态2004
国际学术动态2003
国际学术动态2002
国际学术动态2001
国际学术动态2000
国际学术动态1999
国际学术动态1998
国际学术动态1997
国际学术动态1996
国际学术动态1995
国际学术动态1994
国际学术动态1993
国际学术动态1992
国际学术动态1991
国际学术动态1990
国际学术动态1998年第9期
国际学术动态1998年第8期
国际学术动态1998年第7期
国际学术动态1998年第6期
国际学术动态1998年第5期
国际学术动态1998年第4期
国际学术动态1998年第3期
国际学术动态1998年第2期
国际学术动态1998年第12期
国际学术动态1998年第11期
国际学术动态1998年第10期
国际学术动态1998年第1期
