Developing a programming language for automatic synthesis of assurance cases
开发用于自动合成保证案例的编程语言
基本信息
- 批准号：23H03376
- 负责人：
- 金额：$ 11.32万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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)