A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
基于 Tableau 的大型系统时态属性模型检查方法
基本信息
- 批准号:23K19959
- 负责人:
- 金额:$ 1.83万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Research Activity Start-up
- 财政年份:2023
- 资助国家:日本
- 起止时间:2023-08-31 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
DO CanhMinh其他文献
DO CanhMinh的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('DO CanhMinh', 18)}}的其他基金
Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
- 批准号:
24K20757 - 财政年份:2024
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
相似海外基金
Determining the physical and temporal properties of a person's inner speech
确定一个人内心言语的物理和时间特性
- 批准号:
DP200103288 - 财政年份:2021
- 资助金额:
$ 1.83万 - 项目类别:
Discovery Projects
Development of tools and standards for dissecting the temporal properties of EEG events during sleep
开发用于剖析睡眠期间脑电图事件时间特性的工具和标准
- 批准号:
RGPIN-2019-05107 - 财政年份:2020
- 资助金额:
$ 1.83万 - 项目类别:
Discovery Grants Program - Individual
Development of tools and standards for dissecting the temporal properties of EEG events during sleep
开发用于剖析睡眠期间脑电图事件时间特性的工具和标准
- 批准号:
DGECR-2019-00483 - 财政年份:2019
- 资助金额:
$ 1.83万 - 项目类别:
Discovery Launch Supplement
Development of tools and standards for dissecting the temporal properties of EEG events during sleep
开发用于剖析睡眠期间脑电图事件时间特性的工具和标准
- 批准号:
RGPIN-2019-05107 - 财政年份:2019
- 资助金额:
$ 1.83万 - 项目类别:
Discovery Grants Program - Individual
SPATIAL AND TEMPORAL PROPERTIES OF GRANULE CELL RECRUITMENT IN THE MAMMALIAN OLFA
哺乳动物奥尔法颗粒细胞募集的空间和时间特性
- 批准号:
8722318 - 财政年份:2013
- 资助金额:
$ 1.83万 - 项目类别:
SPATIAL AND TEMPORAL PROPERTIES OF GRANULE CELL RECRUITMENT IN THE MAMMALIAN OLFA
哺乳动物奥尔法颗粒细胞募集的空间和时间特性
- 批准号:
8594822 - 财政年份:2013
- 资助金额:
$ 1.83万 - 项目类别:
Probing the spatio-temporal properties of strong field harmonic emission in the liquid phase
探讨液相强场谐波发射的时空特性
- 批准号:
210192221 - 财政年份:2012
- 资助金额:
$ 1.83万 - 项目类别:
Research Grants
Model for generation of leukemic stem cells: spatio-temporal properties in pathogenesis
白血病干细胞生成模型:发病机制中的时空特性
- 批准号:
24659494 - 财政年份:2012
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
factors and processes determining the temporal properties of sentences
决定句子时间特性的因素和过程
- 批准号:
23520460 - 财政年份:2011
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
SHF: Small: Collaborative Research: Statistical Techniques for Verifying Temporal Properties of Embedded and Mixed-Signal Systems
SHF:小型:协作研究:验证嵌入式和混合信号系统时间特性的统计技术
- 批准号:
1017074 - 财政年份:2010
- 资助金额:
$ 1.83万 - 项目类别:
Continuing Grant