Synthèse automatique de systèmes d'information
Synthèse automatique de systèmes d'information
批准号:
185805-2004
负责人:
Frappier, Marc
金额:
$1.8万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2008
资助国家:
加拿大
项目状态:
已结题
起止时间:
2008-01-01 至 2009-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A formal approach to intrusion detection
-
批准号:RGPIN-2019-05327
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to intrusion detection
-
批准号:RGPIN-2019-05327
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to intrusion detection
-
批准号:RGPIN-2019-05327
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to intrusion detection
-
批准号:RGPIN-2019-05327
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to access control and consent management
-
批准号:RGPIN-2014-04162
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:2018
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to access control and consent management
-
批准号:RGPIN-2014-04162
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:2017
-
负责人:Frappier, Marc
-
依托单位:
Methods and techniques for the automation and simplification of ICS honey pots deployments and monitoring
-
批准号:508278-2017
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2017
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to access control and consent management
-
批准号:RGPIN-2014-04162
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:2016
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to access control and consent management
-
批准号:RGPIN-2014-04162
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:2015
-
负责人:Frappier, Marc
-
依托单位:
A formal approach to access control and consent management
-
批准号:RGPIN-2014-04162
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:2014
-
负责人:Frappier, Marc
-
依托单位:
Formal reuse and validation of information system specifications/Réutilisation et validation formelle des spécifications de systèmes d'information
-
批准号:185805-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.8万
-
财政年份:2013
-
负责人:Frappier, Marc
-
依托单位:
Formal reuse and validation of information system specifications/Réutilisation et validation formelle des spécifications de systèmes d'information
-
批准号:185805-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.8万
-
财政年份:2012
-
负责人:Frappier, Marc
-
依托单位:
Formal reuse and validation of information system specifications/Réutilisation et validation formelle des spécifications de systèmes d'information
-
批准号:185805-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.8万
-
财政年份:2011
-
负责人:Frappier, Marc
-
依托单位:
Formal reuse and validation of information system specifications/Réutilisation et validation formelle des spécifications de systèmes d'information
-
批准号:185805-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.8万
-
财政年份:2010
-
负责人:Frappier, Marc
-
依托单位:
Formal reuse and validation of information system specifications/Réutilisation et validation formelle des spécifications de systèmes d'information
-
批准号:185805-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.8万
-
财政年份:2009
-
负责人:Frappier, Marc
-
依托单位:
Specification and Implementation of secure web systems
-
批准号:356630-2007
-
项目类别:Strategic Projects Supplemental Competition
-
资助金额:$7.23万
-
财政年份:2008
-
负责人:Frappier, Marc
-
依托单位:
Specification and Implementation of secure web systems
-
批准号:356630-2007
-
项目类别:Strategic Projects Supplemental Competition
-
资助金额:$7.23万
-
财政年份:2007
-
负责人:Frappier, Marc
-
依托单位:
Synthèse automatique de systèmes d'information
-
批准号:185805-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.8万
-
财政年份:2007
-
负责人:Frappier, Marc
-
依托单位:
Synthèse automatique de systèmes d'information
-
批准号:185805-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.8万
-
财政年份:2006
-
负责人:Frappier, Marc
-
依托单位:
Synthèse automatique de systèmes d'information
-
批准号:185805-2004
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.8万
-
财政年份:2005
-
负责人:Frappier, Marc
-
依托单位:
国内基金
海外基金
登录
查看更多内容
非常规电荷密度波调控单层NbX₂(X=S,Se)拓扑超导态的内禀机理研究
-
批准号:2026JJ90084
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:李意芝
-
依托单位:
超级增强子NFIX-SE募集MEF2C激活NFIX/NOTCH通路增强肿瘤细胞干性导致小细胞肺癌化疗耐药的机制研究
-
批准号:2026JJ81772
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:童琴
-
依托单位:
(BiₓIn₁₋ₓ)₂Se₃ NW/MoS₂异质结构二阶非线性光学响应调控和机理研究
-
批准号:2026JJ50115
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:陈智慧
-
依托单位:
结构-取向协同调控的纤维基Sb2Se3光电探测器载流子输运机制研究
-
批准号:JCZRQNB202600686
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
基于Bi2O2Se层状氧化物结构特性的熵设计及其热电输运解耦机制
-
批准号:2026JJ60484
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:周志方
-
依托单位:
基于界面调控Sb2Se3薄膜晶粒有序取向及其高效太阳能电池研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:陶加华
-
依托单位:
基于结构诱导的二维Se、Te摩擦行为的调控
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:牛媛
-
依托单位:
M2pep@BP-Se通过调节糖代谢重编程M2型巨噬细胞增加宫颈癌顺铂敏感性的机制研究
-
批准号:MS25H160017
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:朱雪琼
-
依托单位:
二维Bi2O2Se的可控外延制备及其光电探测应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:郑照强
-
依托单位:
对称性破缺的二维材料 PtX2(X=S,Se)光电性质及应
用研究
-
批准号:2024JJ5246
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:王伟科
-
依托单位: