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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了