科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
返回
Assertive Testing
2015-05-01
1
PRE
AI
G
Gerard J. Holzmann *
DOI:10.1109/MS.2015.60
原文链接
原文求助
分享
收藏
摘要
En
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
相关推荐
期刊
IEEE Software
IF:
3
论文数:
3.2K
被引数:
3.6K
机构
暂无机构信息
引用论文
被引论文
引用论文
Gating
Language and Cognitive Processes
IF
0
1996-12-01
0
PRE
AI
Francois Grosjean
分享
收藏
Muscles, Central Nervous Motor Regulation and Back Problems
The Neurobiologic Mechanisms in Manipulative Therapy
IF
0
1978-01-01
0
PRE
AI
Vladimír Janda
分享
收藏
Post-mortem Diagnosis of Bottling Plants Based on Recorded Data
IFAC Proceedings Volumes
IF
0
2009-01-01
0
OA
AI
Peter Struss; Benjamin Ertl
分享
收藏