A Research on property generation for embedded systems based on combination testing methodology
A Research on property generation for embedded systems based on combination testing methodology
基于组合测试方法的嵌入式系统属性生成研究
批准号：
17K00111
负责人：
Sekizawa Toshifusa
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
The University of Texas at San Antonio(米国)
德克萨斯大学圣安东尼奥分校（美国）
德克萨斯大学圣安东尼奥分校（美国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa]
通讯作者：
and Toshifusa Sekizawa
モデル検査を用いたロボット設計の検証
使用模型检查验证机器人设计
使用模型检查验证机器人设计
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa, 渡邊亮，岡野浩三 ，関澤俊弦, 矢吹光，関澤俊弦, 渡邊亮，岡野浩三，関澤俊弦]
通讯作者：
渡邊亮，岡野浩三，関澤俊弦
DOI：
10.1109/ccoms.2019.8821644
发表时间：
2019-02
期刊：
2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS)
影响因子：
--
作者：
[Ryo Watanabe;Toshifusa Sekizawa]
通讯作者：
Ryo Watanabe;Toshifusa Sekizawa
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Masashi Nakamura, Kozo Okano, Shinpei Ogata, and Toshifusa Sekizawa]
通讯作者：
and Toshifusa Sekizawa
共 12 条
海外基金