刷新
{{item.name}}会员
Communication software engineering based on formal methods
基于形式化方法的通信软件工程
基本信息
- 批准号：122224-2006
- 负责人：
- 金额：$ 2.43万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2010
- 资助国家：加拿大
- 起止时间：2010-01-01 至 2011-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 }}
Dssouli, Rachida其他文献
Dssouli, Rachida的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Dssouli, Rachida', 18)}}的其他基金
Service composition testing and verification
服务组合测试和验证
- 批准号：
RGPIN-2018-06796 - 财政年份：2022
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Service composition testing and verification
服务组合测试和验证
- 批准号：
RGPIN-2018-06796 - 财政年份：2021
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Service composition testing and verification
服务组合测试和验证
- 批准号：
RGPIN-2018-06796 - 财政年份：2020
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Service composition testing and verification
服务组合测试和验证
- 批准号：
RGPIN-2018-06796 - 财政年份：2019
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Service composition testing and verification
服务组合测试和验证
- 批准号：
RGPIN-2018-06796 - 财政年份：2018
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Specification and verification of design models for certifiable avionics software
可认证航空电子软件设计模型的规范和验证
- 批准号：
463076-2014 - 财政年份：2017
- 资助金额：
$ 2.43万 - 项目类别：
Collaborative Research and Development Grants
Specification and verification of design models for certifiable avionics software
可认证航空电子软件设计模型的规范和验证
- 批准号：
463076-2014 - 财政年份：2016
- 资助金额：
$ 2.43万 - 项目类别：
Collaborative Research and Development Grants
Dynamic composition of systems and services
系统和服务的动态组合
- 批准号：
122224-2011 - 财政年份：2015
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Dynamic composition of systems and services
系统和服务的动态组合
- 批准号：
122224-2011 - 财政年份：2014
- 资助金额：
$ 2.43万 - 项目类别：
Discovery Grants Program - Individual
Specification and verification of design models for certifiable avionics software
可认证航空电子软件设计模型的规范和验证
- 批准号：
463076-2014 - 财政年份：2014
- 资助金额：
$ 2.43万 - 项目类别：
Collaborative Research and Development Grants
相似国自然基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
- 批准号：90818016
- 批准年份：2008
- 资助金额：50.0 万元
- 项目类别：重大研究计划
相似海外基金
Compatibility Between Brain-Computer Interface and High Efficiency Augmentative and Alternative Communication Systems: Commercial Readiness
脑机接口与高效增强和替代通信系统之间的兼容性：商业准备情况
- 批准号：
10610846 - 财政年份：2022
- 资助金额：
$ 2.43万 - 项目类别：
Compatibility Between Brain-Computer Interface and High Efficiency Augmentative and Alternative Communication Systems: Commercial Readiness
脑机接口与高效增强和替代通信系统之间的兼容性：商业准备情况
- 批准号：
10384113 - 财政年份：2022
- 资助金额：
$ 2.43万 - 项目类别：
The detection of positive and negative gender implications in text communication using artificial intelligence: incorporating equity, diversity, and inclusion in software engineering techniques
使用人工智能检测文本通信中的积极和消极性别影响：将公平、多样性和包容性纳入软件工程技术
- 批准号：
572360-2022 - 财政年份：2022
- 资助金额：
$ 2.43万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Closed-Loop Stimulus Optimization to Increase Communication Efficiency in Brain-Computer Interfaces
闭环刺激优化可提高脑机接口的通信效率
- 批准号：
10412578 - 财政年份：2020
- 资助金额：
$ 2.43万 - 项目类别：
Workshop: Engineering Research Communication 2020 - Data and Software Curation and the Relationship to Reproducible Research. November 5,6, 2016, Washington D.C.
研讨会：2020 年工程研究交流 - 数据和软件管理以及与可重复研究的关系。
- 批准号：
1641014 - 财政年份：2016
- 资助金额：
$ 2.43万 - 项目类别：
Standard Grant
Subvocal Speech for Augmentative and Alternative Communication
用于增强性和替代性交流的默声语音
- 批准号：
9130174 - 财政年份：2015
- 资助金额：
$ 2.43万 - 项目类别：
Vascular communication in metastatic brain colonization
转移性脑定植中的血管通讯
- 批准号：
8673646 - 财政年份：2014
- 资助金额：
$ 2.43万 - 项目类别：
Vascular communication in metastatic brain colonization
转移性脑定植中的血管通讯
- 批准号：
8830949 - 财政年份：2014
- 资助金额：
$ 2.43万 - 项目类别：
A classroom method to increase communication skills for students of software engineering
提高软件工程专业学生沟通能力的课堂方法
- 批准号：
24501158 - 财政年份：2012
- 资助金额：
$ 2.43万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
scribIT: a System for Freehand Production, Editing, Communication and Reproductio
scribIT：徒手制作、编辑、交流和复制系统
- 批准号：
8396400 - 财政年份：2012
- 资助金额：
$ 2.43万 - 项目类别：