课题基金 / 基金详情

Integration of Formal Methods for Seamless Software Developments

Integration of Formal Methods for Seamless Software Developments
集成形式化方法以实现无缝软件开发
批准号：
24500035
负责人：
AOKI Toshiaki
金额：
$3.41万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500035/
关键词：
形式手法モデル検査形式仕様記述テスト車載ソフトウェア形式仕様

项目摘要

项目成果

AOKI Toshiaki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Practical Application of Formal Methods to Automotive Systems
形式化方法在汽车系统中的实际应用
DOI： --
发表时间： 2014
期刊：
影响因子： --
作者： [森口草介, 渡部卓雄, Toshiaki Aoki]
通讯作者： Toshiaki Aoki
Refinement Tree and Its Patterns: a Graphical Approach for Event-B
细化树及其模式：事件 B 的图形方法
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Takashi Tomita, Takahito Kimura, Shigeki Hagihara and Naoki Yonezaki, Ilankaikone Senthooran and Takuo Watanabe, Kriangkrai Traichaiyaporn and Toshiaki Aoki]
通讯作者： Kriangkrai Traichaiyaporn and Toshiaki Aoki
モデル検査とテストによる車載オペレーティングシステムのシームレスな検証
通过模型检查和测试对车辆操作系统进行无缝验证
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [青木利晃, 佐藤信, 谷充弘, 矢竹健朗]
通讯作者： 矢竹健朗
A Practical Study of Debugging using Model Checking
使用模型检查进行调试的实践研究
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno and Toshiaki Aoki]
通讯作者： Fumihiko Kumeno and Toshiaki Aoki
共 28 条
    Maintaining and improving QOL using social network in potential marginal villages
    • 批准号：
      18K04382
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2018
    • 负责人：
      AOKI Toshiaki
    • 依托单位：
      Tohoku University
    Effectiveness of reversible decision making toward solution of social conflict and its mechanism
    • 批准号：
      15K11963
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2015
    • 负责人：
      AOKI Toshiaki
    • 依托单位：
      Tohoku University
    Research on the verification of highly parallel and concurrent embedded software
    海外基金