Description method and formal verification method with section behavior model based on software architecture

基于软件体系结构的分段行为模型描述方法和形式化验证方法

基本信息

  • 批准号:
    19K11911
  • 负责人:
  • 金额:
    $ 2.75万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2019
  • 资助国家:
    日本
  • 起止时间:
    2019-04-01 至 2022-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
ソフトウェアアーキテクチャに基づく組込みシステムの設計法に関する研究
基于软件体系结构的嵌入式系统设计方法研究
Design of Software Architecture for Neural Network Cooperation: Case of Forgery Detection
神经网络协作的软件架构设计:伪造检测案例
Specifying Abstract user Interface in VDM-SL
在 VDM-SL 中指定抽象用户界面
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tomohiro Oda;Keijiro Araki;Yasuhiro Yamamoto;Kumiyo Nakakoji;Han-Myung Chang;Peter Gorm Larsen
  • 通讯作者:
    Peter Gorm Larsen
並行システムデバッグ支援のためのフォールトパターンに関する考察
支持并发系统调试的故障模式考虑
IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案
实现物联网灵活互操作性的软件架构提案
  • DOI:
    10.20729/00210550
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    名倉 正剛;薄井 駿;高田 眞吾;Taiki Iwao and Satoshi Fujita;更田 裕司;横山史明,沢田篤史,野呂昌満,江坂篤侍
  • 通讯作者:
    横山史明,沢田篤史,野呂昌満,江坂篤侍
{{ 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 }}

Chang Han-Myung其他文献

Chang Han-Myung的其他文献

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

相似海外基金

Formal Specification and Verification of the Safe Interaction between Humans and Industrial Robots
人与工业机器人安全交互的形式规范和验证
  • 批准号:
    2496876
  • 财政年份:
    2021
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Studentship
I-Corps: Formal Specification Driven Verification and Validation Framework for Cyber-Physical Systems
I-Corps:网络物理系统的正式规范驱动的验证和确认框架
  • 批准号:
    1454143
  • 财政年份:
    2014
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Standard Grant
Research on Formal Specification-Based Program Testing
基于形式化规范的程序测试研究
  • 批准号:
    18500027
  • 财政年份:
    2006
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
形式仕様開発支援環境の研究
形式化规范开发支撑环境研究
  • 批准号:
    17700028
  • 财政年份:
    2005
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Formal specification and verification of microelectronics systems
微电子系统的形式化规范和验证
  • 批准号:
    194302-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Discovery Grants Program - Individual
Formal specification and verification of microelectronics systems
微电子系统的形式化规范和验证
  • 批准号:
    194302-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Discovery Grants Program - Individual
Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems
基于 FPGA 的系统中动态重配置的形式化规范和实现
  • 批准号:
    ARC : DP0211458
  • 财政年份:
    2002
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Discovery Projects
Formal specification and analysis of telecommunication architectures and services
电信架构和服务的正式规范和分析
  • 批准号:
    155957-1999
  • 财政年份:
    2002
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Discovery Grants Program - Individual
Formal specification and verification of microelectronics systems
微电子系统的形式化规范和验证
  • 批准号:
    194302-2001
  • 财政年份:
    2002
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Discovery Grants Program - Individual
Formal Specification and Realisation of Dynamic Reconfiguration in FPGA-based Systems
基于 FPGA 的系统中动态重配置的形式化规范和实现
  • 批准号:
    DP0211458
  • 财政年份:
    2002
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Discovery Projects
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了