A Research on property generation for embedded systems based on combination testing methodology

基于组合测试方法的嵌入式系统属性生成研究

基本信息

  • 批准号：
    17K00111
  • 负责人：
    Sekizawa Toshifusa
  • 金额：
    $ 2.83万
  • 依托单位：
    Nihon University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2017
  • 资助国家：
    日本
  • 起止时间：
    2017-04-01 至 2020-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
The University of Texas at San Antonio(米国)
德克萨斯大学圣安东尼奥分校（美国）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Analysis of Specification in Japanese using Natural Language Processing
使用自然语言处理分析日语规范
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kozo Okano;Kazuma Takahashi;Shinpei Ogata;and Toshifusa Sekizawa
  • 通讯作者：
    and Toshifusa Sekizawa
モデル検査を用いたロボット設計の検証
使用模型检查验证机器人设计
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ryo Watanabe;Kozo Okano;and Toshifusa Sekizawa;渡邊亮，岡野浩三 ，関澤俊弦;矢吹光，関澤俊弦;渡邊亮，岡野浩三，関澤俊弦
  • 通讯作者：
    渡邊亮，岡野浩三，関澤俊弦
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model
A review assistance system for class diagram with voice assistance based on NLP
基于NLP的语音辅助类图复习系统
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Masashi Nakamura;Kozo Okano;Shinpei Ogata;and Toshifusa Sekizawa
  • 通讯作者：
    and Toshifusa Sekizawa
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Sekizawa Toshifusa其他文献

Sekizawa Toshifusa的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

離散時間確率系に関する統一的制御理論の創出と体系化
离散时间随机系统统一控制理论的创建和系统化
  • 批准号：
    23K26127
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
離散時間確率系における不確かさ表現とロバスト制御理論
离散时间随机系统中的不确定性表示和鲁棒控制理论
  • 批准号：
    17J05744
  • 财政年份：
    2017
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
モデル誤差のある確率系に対する推定と最適化に関する基礎的研究
具有模型误差的随机系统估计与优化基础研究
  • 批准号：
    X00210----975123
  • 财政年份：
    1974
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
モデル誤差のある確率系に対する推定と最適化に関する基礎的研究
具有模型误差的随机系统估计与优化基础研究
  • 批准号：
    X00210----875128
  • 财政年份：
    1973
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了