Real-time software systems specification, design and validation
实时软件系统规范、设计和验证
基本信息
- 批准号:194234-2001
- 负责人:
- 金额:$ 2.04万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2004
- 资助国家:加拿大
- 起止时间:2004-01-01 至 2005-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 }}
Khendek, Ferhat其他文献
Khendek, Ferhat的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Khendek, Ferhat', 18)}}的其他基金
Model Based Testing and Validation of IoT Systems
物联网系统基于模型的测试和验证
- 批准号:
RGPIN-2021-03298 - 财政年份:2022
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Model Based Testing and Validation of IoT Systems
物联网系统基于模型的测试和验证
- 批准号:
RGPIN-2021-03298 - 财政年份:2021
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
NSERC/Ericsson Industrial Research Chair: Model Based Software Management
NSERC/爱立信工业研究主席:基于模型的软件管理
- 批准号:
425135-2016 - 财政年份:2020
- 资助金额:
$ 2.04万 - 项目类别:
Industrial Research Chairs
Model Driven Incremental Design and Validation of Software Systems
软件系统的模型驱动增量设计和验证
- 批准号:
RGPIN-2015-05354 - 财政年份:2019
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
NSERC/Ericsson Industrial Research Chair: Model Based Software Management
NSERC/爱立信工业研究主席:基于模型的软件管理
- 批准号:
425135-2016 - 财政年份:2019
- 资助金额:
$ 2.04万 - 项目类别:
Industrial Research Chairs
Model Driven Incremental Design and Validation of Software Systems
软件系统的模型驱动增量设计和验证
- 批准号:
RGPIN-2015-05354 - 财政年份:2018
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Model Driven Incremental Design and Validation of Software Systems
软件系统的模型驱动增量设计和验证
- 批准号:
RGPIN-2015-05354 - 财政年份:2017
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
NSERC/Ericsson Industrial Research Chair: Model Based Software Management
NSERC/爱立信工业研究主席:基于模型的软件管理
- 批准号:
425135-2016 - 财政年份:2017
- 资助金额:
$ 2.04万 - 项目类别:
Industrial Research Chairs
Model Driven Incremental Design and Validation of Software Systems
软件系统的模型驱动增量设计和验证
- 批准号:
RGPIN-2015-05354 - 财政年份:2016
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
NSERC/Ericsson Industrial Research Chair: Model Based Software Management
NSERC/爱立信工业研究主席:基于模型的软件管理
- 批准号:
425135-2016 - 财政年份:2016
- 资助金额:
$ 2.04万 - 项目类别:
Industrial Research Chairs
相似国自然基金
SERS探针诱导TAM重编程调控头颈鳞癌TIME的研究
- 批准号:82360504
- 批准年份:2023
- 资助金额:32 万元
- 项目类别:地区科学基金项目
华蟾素调节PCSK9介导的胆固醇代谢重塑TIME增效aPD-L1治疗肝癌的作用机制研究
- 批准号:82305023
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于MRI的机器学习模型预测直肠癌TIME中胶原蛋白水平及其对免疫T细胞调控作用的研究
- 批准号:
- 批准年份:2022
- 资助金额:52 万元
- 项目类别:面上项目
结直肠癌TIME多模态分子影像分析结合深度学习实现疗效评估和预后预测
- 批准号:62171167
- 批准年份:2021
- 资助金额:57 万元
- 项目类别:面上项目
Time-lapse培养对人类胚胎植入前印记基因DNA甲基化的影响研究
- 批准号:
- 批准年份:2021
- 资助金额:0.0 万元
- 项目类别:省市级项目
萱草花开放时间(Flower Opening Time)的生物钟调控机制研究
- 批准号:31971706
- 批准年份:2019
- 资助金额:59.0 万元
- 项目类别:面上项目
高频数据波动率统计推断、预测与应用
- 批准号:71971118
- 批准年份:2019
- 资助金额:50.0 万元
- 项目类别:面上项目
Time-of-Flight深度相机多径干扰问题的研究
- 批准号:61901435
- 批准年份:2019
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
基于线性及非线性模型的高维金融时间序列建模:理论及应用
- 批准号:71771224
- 批准年份:2017
- 资助金额:49.0 万元
- 项目类别:面上项目
Finite-time Lyapunov 函数和耦合系统的稳定性分析
- 批准号:11701533
- 批准年份:2017
- 资助金额:22.0 万元
- 项目类别:青年科学基金项目
相似海外基金
AI-Based Real-Time Fraudulent and Suspicious Activity Detection on Secure Software-Defined Wireless Networks
安全软件定义无线网络上基于人工智能的实时欺诈和可疑活动检测
- 批准号:
10076403 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Grant for R&D
Deep-UV Microscopy for Real-Time Adequacy Analysis of Bone Marrow Aspirates
用于骨髓抽吸物实时充分性分析的深紫外显微镜
- 批准号:
10761397 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Quantifying neural variability and learning during real world brain-computer interface use
量化现实世界脑机接口使用过程中的神经变异和学习
- 批准号:
10838152 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Real time risk prognostication via scalable hazard trees and forests
通过可扩展的危险树和森林进行实时风险预测
- 批准号:
10655749 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Motion-Resistant Background Subtraction Angiography with Deep Learning: Real-Time, Edge Hardware Implementation and Product Development
具有深度学习的抗运动背景减影血管造影:实时、边缘硬件实施和产品开发
- 批准号:
10602275 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Rapid Acute Leukemia Genomic Profiling with CRISPR enrichment and Real-time long-read sequencing
利用 CRISPR 富集和实时长读长测序进行快速急性白血病基因组分析
- 批准号:
10651543 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Rapid Acute Leukemia Genomic Profiling with CRISPR enrichment and Real-time long-read sequencing
利用 CRISPR 富集和实时长读长测序进行快速急性白血病基因组分析
- 批准号:
10839678 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Framewise Integrated Real-Time MRI Monitoring (FIRMM) software commercialization readiness for clinical care
逐帧集成实时 MRI 监测 (FIRMM) 软件为临床护理做好商业化准备
- 批准号:
10697965 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Real World Adoption of an OUD Digital Health Therapeutic
OUD 数字健康疗法在现实世界中的采用
- 批准号:
10741217 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Towards intra-operative guidance in brain tumor surgery using real-time resting-state functional MRI
使用实时静息态功能 MRI 进行脑肿瘤手术的术中指导
- 批准号:
10761498 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:














{{item.name}}会员




