Developing a programming language for automatic synthesis of assurance cases

开发用于自动合成保证案例的编程语言

基本信息

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

山形 頼之其他文献

山形 頼之的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似海外基金

非接触安全センサの屋外環境におけるディペンダビリティ評価技術
室外环境非接触式安全传感器可靠性评估技术
  • 批准号:
    23K26345
  • 财政年份:
    2024
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
非接触安全センサの屋外環境におけるディペンダビリティ評価技術
室外环境非接触式安全传感器可靠性评估技术
  • 批准号:
    23H01651
  • 财政年份:
    2023
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Dependable control for multi-agent systems
多代理系统的可靠控制
  • 批准号:
    21K04107
  • 财政年份:
    2021
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Dependability Assurance of Machine Learning Systems by DevOps Assurance Cases
DevOps 保证案例对机器学习系统的可靠性保证
  • 批准号:
    20K11753
  • 财政年份:
    2020
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
外乱によるシステムの機能低下と回復性能の定量評価に関する研究
扰动引起的系统功能退化和恢复性能定量评估研究
  • 批准号:
    20K05021
  • 财政年份:
    2020
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
On Dataset Diversity for Achiving High Reliability of Machine Learning Software
论实现机器学习软件高可靠性的数据集多样性
  • 批准号:
    18H03224
  • 财政年份:
    2018
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Fundamental theory for dependable control
可靠控制的基本理论
  • 批准号:
    18K04203
  • 财政年份:
    2018
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
総合的な社会的信頼研究の展開 -ディペンダビリティ心理学創出の挑戦-
社会信任综合研究的进展 - 建立信赖心理的挑战 -
  • 批准号:
    18K18704
  • 财政年份:
    2018
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Estimating the cause of runtime errors based on proactive error profiling
基于主动错误分析估计运行时错误的原因
  • 批准号:
    17K00104
  • 财政年份:
    2017
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
高ディペンダビリティと高エネルギー効率を両立するコンピューティング基盤の構築
构建高可靠、高能效的计算平台
  • 批准号:
    16J08694
  • 财政年份:
    2016
  • 资助金额:
    $ 11.32万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了