论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 医药卫生期刊 \
- 预防医学与卫生学期刊 \
- 中国医院院长期刊 \
争议形式化
争议形式化
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
DO-333标准形式化方法研究
安全关键系统
机载软件
形式化方法
形式化模型
形式化分析
DO-333
DO-178C
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
软件需求获取形式化的案例研究
需求获取
UML
用例驱动
B方法
形式化需求
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
中国医院院长
主办单位：
吉林出版集团
出版周期：
半月刊
ISSN：
1674-3989
CN：
22-1377/R
开本：
大16开
出版地：
北京市西城区西环广场A座17-18层
邮发代号：
80-597
创刊时间：
2005
语种：
chi
出版文献量（篇）
8739
总下载数（次）
5
总被引数（次）
6264
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
中国医院院长2022
中国医院院长2021
中国医院院长2019
中国医院院长2018
中国医院院长2017
中国医院院长2016
中国医院院长2015
中国医院院长2014
中国医院院长2013
中国医院院长2012
中国医院院长2011
中国医院院长2010
中国医院院长2009
中国医院院长2008
中国医院院长2007
中国医院院长2006
中国医院院长2012年第9期
中国医院院长2012年第8期
中国医院院长2012年第7期
中国医院院长2012年第6期
中国医院院长2012年第5期
中国医院院长2012年第4期
中国医院院长2012年第3期
中国医院院长2012年第24期
中国医院院长2012年第23期
中国医院院长2012年第22期
中国医院院长2012年第21期
中国医院院长2012年第20期
中国医院院长2012年第19期
中国医院院长2012年第18期
中国医院院长2012年第17期
中国医院院长2012年第16期
中国医院院长2012年第15期
中国医院院长2012年第14期
中国医院院长2012年第13期
中国医院院长2012年第12期
中国医院院长2012年第11期
中国医院院长2012年第10期
中国医院院长2012年第1期
