论文降重
免费查重
基于适度形式化的函数图象考查探究
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
基于形式化规格说明的UML状态图提取
形式化规格说明
B方法
统一建模语言状态图
分层状态
基于TLA的事件图模型形式化验证方法
仿真模型
验证、确认和认定
模型检验
行为时态逻辑
事件图
基于活性顺序图的形式化验证方法及工具研究
活性顺序图
形式化验证
软件开发过程
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2013(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
福建中学数学
主办单位：
福建省数学学会
福建师范大学数学与计算机科学学院
出版周期：
月刊
ISSN：
CN：
35-1084/O1
开本：
16开
出版地：
福建师范大学数学与计算机科学学院
邮发代号：
34-9
创刊时间：
1980
语种：
chi
出版文献量（篇）
4013
总下载数（次）
2
总被引数（次）
1225
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
福建中学数学2022
福建中学数学2021
福建中学数学2020
福建中学数学2019
福建中学数学2018
福建中学数学2017
福建中学数学2016
福建中学数学2015
福建中学数学2014
福建中学数学2013
福建中学数学2012
福建中学数学2011
福建中学数学2010
福建中学数学2009
福建中学数学2008
福建中学数学2007
福建中学数学2013年第9期
福建中学数学2013年第7期
福建中学数学2013年第6期
福建中学数学2013年第5期
福建中学数学2013年第4期
福建中学数学2013年第3期
福建中学数学2013年第2期
福建中学数学2013年第12期
福建中学数学2013年第11期
福建中学数学2013年第10期
福建中学数学2013年第1期
