刷新
{{item.name}}会员
A research on verification of embedded control program for dynamic systems
动态系统嵌入式控制程序验证研究
基本信息
- 批准号：26330092
- 负责人：
- 金额：$ 2.33万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査に向けて -
迈向自然语言需求规范描述的形式化验证 - 迈向热点话题模型检查 -
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Yuta Ohwatari;Takahiro Kawamura;Yuichi Sei;Yasuyuki Tahara;and Akihiko Ohsuga;関澤俊弦，岡野浩三;遠藤健，小形真平，岡野浩三，関澤俊弦
- 通讯作者：遠藤健，小形真平，岡野浩三，関澤俊弦
ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて
通过基于成对方法和模型检查生成验证项来验证嵌入式系统
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Kozo Okano;Takeshi Nagaoka;Toshiaki Tanaka;Toshifusa Sekizawa;and Shinji Kusumoto;小林佳正，岡野浩三，関澤俊弦;渡辺誠人，岡野浩三，関澤俊弦
- 通讯作者：渡辺誠人，岡野浩三，関澤俊弦
一次元系における自己位置推定の振舞い検証に向けて
验证一维系统中自我位置估计的行为
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Yuta Ohwatari;Takahiro Kawamura;Yuichi Sei;Yasuyuki Tahara;and Akihiko Ohsuga;関澤俊弦，岡野浩三
- 通讯作者：関澤俊弦，岡野浩三
Parallel Multiple Counter-Examples Guided Abstraction Loop — Applying to Timed Automaton—
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Kozo Okano;Takeshi Nagaoka;Toshiaki Tanaka;Toshifusa Sekizawa;S. Kusumoto
- 通讯作者：Kozo Okano;Takeshi Nagaoka;Toshiaki Tanaka;Toshifusa Sekizawa;S. Kusumoto
確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化
使用随机时间自动机对自主移动机器人的行为进行建模
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Kozo Okano;Takeshi Nagaoka;Toshiaki Tanaka;Toshifusa Sekizawa;and Shinji Kusumoto;小林佳正，岡野浩三，関澤俊弦
- 通讯作者：小林佳正，岡野浩三，関澤俊弦
{{
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 }}
SEKIZAWA Toshifusa其他文献
SEKIZAWA Toshifusa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
近似計算型組込みシステムの効率的解析・設計のための基盤技術
近似计算型嵌入式系统高效分析与设计的基础技术
- 批准号：
23K20377 - 财政年份：2024
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立
嵌入式系统模型设计混合模型检验方法的建立
- 批准号：
18K11234 - 财政年份：2018
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
プログラマブルデバイスとマイコンの協調制御による組込みシステム設計支援環境の構築
通过可编程器件和微控制器的协同控制构建嵌入式系统设计支持环境
- 批准号：
24919002 - 财政年份：2012
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Encouragement of Scientists
環境発電に適した組込みシステムのアーキテクチャとOS制御による電力管理技術の研究
适用于能量收集的嵌入式系统架构和操作系统控制的电源管理技术研究
- 批准号：
23680003 - 财政年份：2011
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
視覚障害学生のための組込みシステム学習支援環境の開発
为视障学生开发嵌入式系统学习支持环境
- 批准号：
21650218 - 财政年份：2009
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
組込みシステムの柔軟な設計探索と再利用を実現するコンポーネント機構
实现嵌入式系统灵活设计探索和复用的组件机制
- 批准号：
09J07139 - 财政年份：2009
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for JSPS Fellows
組込みシステムに適したコンポーネント技術についての研究
适用于嵌入式系统的组件技术研究
- 批准号：
08J06327 - 财政年份：2008
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Sec膜透過・組込みシステムの制御
二次膜渗透/集成系统控制
- 批准号：
20059019 - 财政年份：2008
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
組込みシステムのリアルタイム性能と応答性を考慮したソフトウェア資産移行支援
考虑嵌入式系统的实时性能和响应能力的软件资产迁移支持
- 批准号：
18800053 - 财政年份：2006
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (Start-up)
組込みシステム向け立体音響処理に関する研究とその実装
嵌入式系统立体声处理研究及其实现
- 批准号：
18700088 - 财政年份：2006
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (B)