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)
ソフトウェアアーキテクチャに基づく組込みシステムの設計法に関する研究
基于软件体系结构的嵌入式系统设计方法研究
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Akira Mizutani;Masami Noro;Atsushi Sawada;江坂篤侍,野呂昌満,繁田雅信,沢田篤史
- 通讯作者:江坂篤侍,野呂昌満,繁田雅信,沢田篤史
Design of Software Architecture for Neural Network Cooperation: Case of Forgery Detection
神经网络协作的软件架构设计:伪造检测案例
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Akira Mizutani;Masami Noro;Atsushi Sawada
- 通讯作者:Atsushi Sawada
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
並行システムデバッグ支援のためのフォールトパターンに関する考察
支持并发系统调试的故障模式考虑
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:張漢明,高木裕也,沢田篤史,野呂昌満
- 通讯作者:張漢明,高木裕也,沢田篤史,野呂昌満
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