课题基金 / 基金详情

Software adaptation with reasonable compromise using information on deductive proof of consistency

Software adaptation with reasonable compromise using information on deductive proof of consistency
使用一致性演绎证明信息进行合理折衷的软件适配
批准号：
19K20249
负责人：
Kobayashi Tsutomu
金额：
$2.66万
依托单位：
Japan Aerospace EXploration Agency (2022)National Institute of Informatics (2019-2021)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K20249/
关键词：
形式手法段階的詳細化定理証明自己適応ソフトウェアInternet of Things物理情報システムAI安全性ソフトウェアシステムモデリングEvent-B自動運転RSS頑健性

项目摘要

项目成果

Kobayashi Tsutomu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(13)
专著(0)
科研奖励(0)
会议论文
Goal-Aware RSS for Complex Scenarios Via Program Logic
通过程序逻辑实现复杂场景的目标感知 RSS
DOI： 10.1109/tiv.2022.3169762
发表时间： 2022
期刊： IEEE Transactions on Intelligent Vehicles
影响因子： 8.2
作者： [Hasuo Ichiro, Eberhart Clovis, Haydon James, Dubut Jeremy, Bohrer Rose, Kobayashi Tsutomu, Pruekprasert Sasinee, Zhang Xiao-Yi, Pallas Erik Andre, Yamada Akihisa, Suenaga Kohei, Ishikawa Fuyuki, Kamijo Kenji, Shinya Yoshiyuki, Suetomi Takamasa]
通讯作者： Suetomi Takamasa
ニューカッスル大学(英国)
纽卡斯尔大学（英国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
ウォータールー大学(カナダ)
滑铁卢大学（加拿大）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
在事件 B 中嵌入近似：使用证明和细化的安全混合系统设计
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [Dupont Guillaume, Ait-Ameur Yamine, Singh Neeraj K., Ishikawa Fuyuki, Kobayashi Tsutomu, Pantel Marc]
通讯作者： Pantel Marc
共 11 条
    Inheritance of architectural construction methods and architectural culture of machiya townhouses along the Sea of Japan coast (Hokuriku-Tohoku region), which flourished along the shipping routes
    • 批准号：
      18K04490
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2018
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      Wayo Women's University
    The role of SGO-1 in clonal evolution of B-cell malignancies
    • 批准号：
      18K08367
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2018
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      Kyoto Prefectural University of Medicine
    Flexible Refactoring and Effective Guiding of Stepwise Refinement Design
    • 批准号：
      17H07323
    • 项目类别：
      Grant-in-Aid for Research Activity Start-up
    • 资助金额：
      $1.91万
    • 财政年份：
      2017
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      National Institute of Informatics
    Exploring stakeholder's experiences of implementing Sport for Development and Peace program in Japan
    • 批准号：
      15K01603
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2015
    • 负责人：
      Kobayashi Tsutomu
    • 依托单位：
      Chuo University
    海外基金