刷新
{{item.name}}会员
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
基本信息
- 批准号：3552-2005
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2006
- 资助国家：加拿大
- 起止时间：2006-01-01 至 2007-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.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 }}
Alagar, Vangalur其他文献
Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development
- DOI：
10.3390/s19112430 - 发表时间：
2019-06-01 - 期刊：
- 影响因子：3.9
- 作者：
Alsaig, Alaa;Alagar, Vangalur;Shiri, Nematollaah - 通讯作者：
Shiri, Nematollaah
Contelog: A declarative language for modeling and reasoning with contextual knowledge
- DOI：
10.1016/j.knosys.2020.106403 - 发表时间：
2020-11-05 - 期刊：
- 影响因子：8.8
- 作者：
Alsaig, Ammar;Alagar, Vangalur;Nematollaah, Shiri - 通讯作者：
Nematollaah, Shiri
Context-Aware Security Solutions for Cyber-Physical Systems
网络物理系统的上下文感知安全解决方案
- DOI：
10.1007/s11036-014-0495-x - 发表时间：
2012-11 - 期刊：
- 影响因子：3.8
- 作者：
Wan, Kaiyu;Alagar, Vangalur - 通讯作者：
Alagar, Vangalur
Alagar, Vangalur的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Alagar, Vangalur', 18)}}的其他基金
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2019
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2018
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2017
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2016
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2015
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
- 批准号：
3552-2010 - 财政年份：2011
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
A framework for the development of a family of trustworthy systems
用于开发一系列值得信赖的系统的框架
- 批准号：
3552-2010 - 财政年份：2010
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2009
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2008
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2007
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
活性氧对呼吸道上皮旁分泌功能及肺β受体的影响
- 批准号：39470304
- 批准年份：1994
- 资助金额：7.0 万元
- 项目类别：面上项目
OFR对内皮细胞表达sis基因和修饰LDL介导作用与防治
- 批准号：39200151
- 批准年份：1992
- 资助金额：4.7 万元
- 项目类别：青年科学基金项目
相似海外基金
冠動脈石灰化病変の高壁ずり応力を反映する新しい狭窄診断法の検討
反映冠状动脉钙化病变高壁切应力的新狭窄诊断方法的检验
- 批准号：
21K16063 - 财政年份：2021
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
The Chemistry of Oxidation Flow Reactors (OFR) and the Sources of Semivolatile and Intermediate Volatility Secondary Organic Aerosol (SOA) Precursors in Recent NSF Field Studies
最近 NSF 实地研究中氧化流反应器 (OFR) 的化学以及半挥发性和中挥发性二次有机气溶胶 (SOA) 前体的来源
- 批准号：
1822664 - 财政年份：2018
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
Assessment of the Viability and Feasibility of Tracking Student Participants in the NSF Research Expeirences ofr Undergraduates (REU) Sites Program
评估 NSF 本科生研究经历 (REU) 站点计划中跟踪学生参与者的可行性和可行性
- 批准号：
1232149 - 财政年份：2012
- 资助金额：
$ 2.55万 - 项目类别：
Contract-BOA/Task Order
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2009
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2008
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Development of methods ofr extraction isolation and purification of natural products
天然产物提取分离纯化方法的开发
- 批准号：
365510-2008 - 财政年份：2008
- 资助金额：
$ 2.55万 - 项目类别：
Experience Awards (previously Industrial Undergraduate Student Research Awards)
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2007
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
細胞融合受容体OFRによる破骨細胞多核化機構の解明
细胞融合受体OFR阐明破骨细胞多核机制
- 批准号：
17791013 - 财政年份：2005
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
- 批准号：
3552-2005 - 财政年份：2005
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
International Empirical Research on Disclosure and Audit or Assurance Engagements of Information about Corporate Business Risks under Uncertainties
不确定性下企业经营风险信息披露与审计或鉴证业务的国际实证研究
- 批准号：
16330086 - 财政年份：2004
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (B)