刷新
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
相似国自然基金
联合连续弛豫时间分布与物理阻抗模型的锂离子电池极化特性演变分析方法
- 批准号：22309205
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于时间分辨同步辐射技术的LiFePO4低温载流子输运特性研究
- 批准号：12374284
- 批准年份：2023
- 资助金额：52.00 万元
- 项目类别：面上项目
计及关键设备耦合动态特性的配电网长—短多时间尺度储能容量优化配置方法研究
- 批准号：52307117
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
超快二维钙钛矿闪烁体的响应时间调控机制及辐射特性研究
- 批准号：12305205
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
海洋环境下混凝土中钢筋脱钝过程的界面行为及氯离子浓度阈值的时间特性研究
- 批准号：
- 批准年份：2022
- 资助金额：54 万元
- 项目类别：面上项目
相似海外基金
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII：CPS：FAICYS：通过时态逻辑属性的引导伪造，对支持人工智能的网络物理系统进行基于模型的验证
- 批准号：
2347294 - 财政年份：2024
- 资助金额：
$ 1.83万 - 项目类别：
Standard Grant
UV Plasmon-Enhanced Chiroptical Spectroscopy of Membrane-Binding Proteins
膜结合蛋白的紫外等离子增强手性光谱
- 批准号：
10680969 - 财政年份：2023
- 资助金额：
$ 1.83万 - 项目类别：
Exploiting temperature-sensitive orthologs to understand protein allostery
利用温度敏感的直系同源物来了解蛋白质变构
- 批准号：
10716051 - 财政年份：2023
- 资助金额：
$ 1.83万 - 项目类别：
Synaptic Organization and Modulation of Kainate Receptors: Investigating the Structure, Dynamics, and Function in the Context of Trans-Synaptic Junctions
红藻氨酸受体的突触组织和调节：研究跨突触连接的结构、动力学和功能
- 批准号：
10754481 - 财政年份：2023
- 资助金额：
$ 1.83万 - 项目类别：
Poly(ADP-ribose)-dependent TDP-43 pathology in oxidative stress (R21)
氧化应激中聚 (ADP-核糖) 依赖性 TDP-43 病理学 (R21)
- 批准号：
10753095 - 财政年份：2023
- 资助金额：
$ 1.83万 - 项目类别：