论文降重
免费查重
摒弃形式化的检查反馈
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
DO-333标准形式化方法研究
安全关键系统
机载软件
形式化方法
形式化模型
形式化分析
DO-333
DO-178C
形式化方法B的证明技术
形式化方法
抽象机
广义代换
类型检查
证明义务
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2009(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
四川教育
主办单位：
四川教育报刊社
出版周期：
月刊
ISSN：
1005-1910
CN：
51-1056/G4
开本：
大16开
出版地：
四川省成都市南大街49号吉祥大厦6楼
邮发代号：
62-101
创刊时间：
1957
语种：
chi
出版文献量（篇）
6523
总下载数（次）
3
总被引数（次）
1770
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
四川教育2021
四川教育2020
四川教育2018
四川教育2017
四川教育2016
四川教育2015
四川教育2014
四川教育2013
四川教育2012
四川教育2011
四川教育2010
四川教育2009
四川教育2008
四川教育2007
四川教育2006
四川教育2005
四川教育2004
四川教育2003
四川教育2002
四川教育2001
四川教育2009年第9期
四川教育2009年第7期
四川教育2009年第6期
四川教育2009年第5期
四川教育2009年第4期
四川教育2009年第2期
四川教育2009年第12期
四川教育2009年第11期
四川教育2009年第10期
四川教育2009年第1期
