论文降重
免费查重
行走在"朴素理解"与"形式化"之间
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
行走在路上
储备
作业
教育情怀
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
DO-333标准形式化方法研究
安全关键系统
机载软件
形式化方法
形式化模型
形式化分析
DO-333
DO-178C
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (2)
同被引文献 (0)
二级引证文献 (3)
2008(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2018(1)
- 引证文献（1）
- 二级引证文献（0）
2019(3)
- 引证文献（1）
- 二级引证文献（2）
2020(1)
- 引证文献（0）
- 二级引证文献（1）
引文网络交叉学科
相关学者/机构
期刊影响力
小学教学
主办单位：
河南教育报刊社
出版周期：
半月刊
ISSN：
1674-277X
CN：
41-1394/G4
开本：
出版地：
郑州市顺河路11号
邮发代号：
创刊时间：
语种：
chi
出版文献量（篇）
14479
总下载数（次）
20
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
小学教学2022
小学教学2021
小学教学2020
小学教学2019
小学教学2018
小学教学2017
小学教学2016
小学教学2015
小学教学2014
小学教学2013
小学教学2012
小学教学2011
小学教学2010
小学教学2009
小学教学2008
小学教学2007
小学教学2006
小学教学2005
小学教学2004
小学教学2003
小学教学2002
小学教学2001
小学教学2008年第9期
小学教学2008年第8期
小学教学2008年第7期
小学教学2008年第6期
小学教学2008年第5期
小学教学2008年第4期
小学教学2008年第3期
小学教学2008年第24期
小学教学2008年第23期
小学教学2008年第22期
小学教学2008年第21期
小学教学2008年第20期
小学教学2008年第2期
小学教学2008年第19期
小学教学2008年第18期
小学教学2008年第17期
小学教学2008年第14期
小学教学2008年第13期
小学教学2008年第12期
小学教学2008年第11期
小学教学2008年第10期
小学教学2008年第1期
