Logic-based analysis of safety-critical real-time embedded software

对安全关键型实时嵌入式软件进行基于逻辑的分析

基本信息

  • 批准号：
    350202-2007
  • 负责人：
    Fanson, Richard
  • 金额：
    $ 0.38万
  • 依托单位：
    Critical Systems Labs Inc.
  • 依托单位国家：
    加拿大
  • 项目类别：
    Experience Awards (previously Industrial Undergraduate Student Research Awards)
  • 财政年份：
    2007
  • 资助国家：
    加拿大
  • 起止时间：
    2007-01-01 至 2008-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
没有总结 - Aucun sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Fanson, Richard其他文献

Fanson, Richard的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Fanson, Richard', 18)}}的其他基金

Image guided robotic manipulation of deformable objects
图像引导机器人操纵可变形物体
  • 批准号：
    376929-2009
  • 财政年份：
    2009
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's

相似国自然基金

Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    万元
  • 项目类别：
    外国青年学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
  • 批准号：
    W2433169
  • 批准年份：
    2024
  • 资助金额：
    万元
  • 项目类别：
    外国学者研究基金项目
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
  • 批准号：
    52301178
  • 批准年份：
    2023
  • 资助金额：
    30.00 万元
  • 项目类别：
    青年科学基金项目
NbZrTi基多主元合金中化学不均匀性对辐照行为的影响研究
  • 批准号：
    12305290
  • 批准年份：
    2023
  • 资助金额：
    30.00 万元
  • 项目类别：
    青年科学基金项目
眼表菌群影响糖尿病患者干眼发生的人群流行病学研究
  • 批准号：
    82371110
  • 批准年份：
    2023
  • 资助金额：
    49.00 万元
  • 项目类别：
    面上项目
镍基UNS N10003合金辐照位错环演化机制及其对力学性能的影响研究
  • 批准号：
    12375280
  • 批准年份：
    2023
  • 资助金额：
    53.00 万元
  • 项目类别：
    面上项目
CuAgSe基热电材料的结构特性与构效关系研究
  • 批准号：
    22375214
  • 批准年份：
    2023
  • 资助金额：
    50.00 万元
  • 项目类别：
    面上项目
基于大数据定量研究城市化对中国季节性流感传播的影响及其机理
  • 批准号：
    82003509
  • 批准年份：
    2020
  • 资助金额：
    24.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Learning support method adaptive to program logic based on analysis of coding history
基于编码历史分析的适应程序逻辑的学习支持方法
  • 批准号：
    22K02854
  • 财政年份：
    2022
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Ethical Evaluation of Information Disclosure and Shielding by Counterfactual Conditionals: Its Analysis and Proposal for it based on Modal Logic
反事实条件对信息披露与屏蔽的伦理评价：基于模态逻辑的分析与建议
  • 批准号：
    20K12784
  • 财政年份：
    2020
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
A GIS-based Logic Scoring of Preference Approach for Spatial Decision-Making Analysis in 3D
基于 GIS 的 3D 空间决策分析偏好逻辑评分方法
  • 批准号：
    553442-2020
  • 财政年份：
    2020
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's
A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic
基于证明论和图解逻辑方法的自然语言推理统一分析
  • 批准号：
    17K13316
  • 财政年份：
    2017
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Inducing derivation of the principle principle-like financial report standard of the real estate investment corporation and logic based on a country-by-country comparison analysis
基于国别比较分析的房地产投资公司财务报告准则的原理及逻辑的推导
  • 批准号：
    25380590
  • 财政年份：
    2013
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Logic verification and synthesis based on difference analysis
基于差异分析的逻辑验证与综合
  • 批准号：
    24300015
  • 财政年份：
    2012
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Fully Automatic Logic-Based Information Flow Analysis
全自动基于逻辑的信息流分析
  • 批准号：
    228021792
  • 财政年份：
    2012
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Priority Programmes
CAREER: An Integrated Framework for Semantic-Based Analysis of Logic Programs
职业：基于语义的逻辑程序分析的集成框架
  • 批准号：
    0131862
  • 财政年份：
    2002
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Continuing Grant
Logic-based Modeling Analysis, and Implementation of Workflow Management Systems
基于逻辑的建模分析与工作流管理系统的实现
  • 批准号：
    0072927
  • 财政年份：
    2000
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Continuing Grant
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming
基于并发逻辑编程的广域分布式计算范式
  • 批准号：
    11680370
  • 财政年份：
    1999
  • 资助金额：
    $ 0.38万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了