论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 通讯和计算机：中英文版期刊 \
Validation of Software Property Specifications Using the TV Tool
Validation of Software Property Specifications Using the TV Tool
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
Determination of brominated diphenyl ethers in atmospheric particulate matter using selective pressu
Brominated diphenyl ethers
Atmospheric particulate matters
Selective pressurised liquid extraction
Gas chromatography-mass spectrometry
基于Cross-Validation的小波自适应去噪方法
小波变换
Cross-Validation
自适应滤波
闽值
媒体融合下芒果TV发展模式研究
芒果TV
媒体融合
媒体时代
媒体转型升级
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Validation of Software Property Specifications Using the TV Tool | ||
| 来源期刊 | 通讯和计算机：中英文版 | 学科 | 工学 |
| 关键词 | 工具软件 验证 电视 规格 物业 软件开发 线性时序逻辑 系统可靠性 | ||
| 年，卷（期） | 2011,（4） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 300-306 | |
| 页数 | 7页 | 分类号 | TP311.56 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (17)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2011(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
工具软件
验证
电视
规格
物业
软件开发
线性时序逻辑
系统可靠性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
通讯和计算机：中英文版
主办单位：
美国大卫出版公司
出版周期：
双月刊
ISSN：
1548-7709
CN：
开本：
出版地：
武汉洪山区卓刀泉北路金桥花园C座4楼
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1576
总下载数（次）
2
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
通讯和计算机：中英文版2019
通讯和计算机：中英文版2017
通讯和计算机：中英文版2016
通讯和计算机：中英文版2015
通讯和计算机：中英文版2014
通讯和计算机：中英文版2013
通讯和计算机：中英文版2012
通讯和计算机：中英文版2011
通讯和计算机：中英文版2010
通讯和计算机：中英文版2009
通讯和计算机：中英文版2008
通讯和计算机：中英文版2007
通讯和计算机：中英文版2006
通讯和计算机：中英文版2005
通讯和计算机：中英文版2004
通讯和计算机：中英文版2011年第9期
通讯和计算机：中英文版2011年第8期
通讯和计算机：中英文版2011年第7期
通讯和计算机：中英文版2011年第6期
通讯和计算机：中英文版2011年第5期
通讯和计算机：中英文版2011年第4期
通讯和计算机：中英文版2011年第3期
通讯和计算机：中英文版2011年第2期
通讯和计算机：中英文版2011年第12期
通讯和计算机：中英文版2011年第11期
通讯和计算机：中英文版2011年第10期
通讯和计算机：中英文版2011年第1期
