刷新
Développement d'un outil à base de connaissance pour valider des spécifications formelles
开发和验证形式规范的基础
基本信息
- 批准号：41895-1995
- 负责人：
- 金额：$ 0.69万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1997
- 资助国家：加拿大
- 起止时间：1997-01-01 至 1998-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 }}
Zeroual, Kacem其他文献
Zeroual, Kacem的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Zeroual, Kacem', 18)}}的其他基金
Développement dun outil à base de connaissance pour valider des spécifications formelles
开发和验证形式规范的基础
- 批准号：
41895-1995 - 财政年份：1998
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
Développement d'un outil à base de connaissance pour valider des spécifications formelles
开发和验证形式规范的基础
- 批准号：
41895-1995 - 财政年份：1996
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
Développement d'un outil à base de connaissance pour valider des spécifications formelles
开发和验证形式规范的基础
- 批准号：
41895-1995 - 财政年份：1995
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
Développement d'une base de règles et d'un outil logiciel à base de connaissances pour dériver une spécification formelle à partir des besoins informels
规则和逻辑的开发基础 和 形式规范的知识基础 和 部分信息的一部分
- 批准号：
41895-1992 - 财政年份：1994
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
Développement d'une base de règles et d'un outil logiciel à base de connaissances pour dériver une spécification formelle à partir des besoins informels
规则和逻辑的开发基础 和 形式规范的知识基础 和 部分信息的一部分
- 批准号：
41895-1992 - 财政年份：1993
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
Développement d'une base de règles et d'un outil logiciel à base de connaissances pour dériver une spécification formelle à partir des besoins informels
规则和逻辑的开发基础 和 形式规范的知识基础 和 部分信息的一部分
- 批准号：
41895-1992 - 财政年份：1992
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
Réalisation d'une méthode automatisée pour dériver les spécifications formelles a partir des besoins
实现流水规范自动化方法与部分细节的关系
- 批准号：
41895-1990 - 财政年份：1991
- 资助金额：
$ 0.69万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
联合国产卫星立体光学与单光子激光的青藏高原冰川地表模型精化研究
- 批准号：42371391
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
通过农业氮素管理实现联合国2030可持续发展目标的协同
- 批准号：42261144001
- 批准年份：2022
- 资助金额：300.00 万元
- 项目类别：国际(地区)合作与交流项目
战略研究类：地理学推动联合国可持续发展目标战略研究
- 批准号：
- 批准年份：2022
- 资助金额：20 万元
- 项目类别：
UN-U3Si2复合燃料界面对辐照关键行为的影响研究
- 批准号：U2167217
- 批准年份：2021
- 资助金额：255 万元
- 项目类别：联合基金项目
《联合国海洋法公约》框架下典型地理实体识别及划界作用研究
- 批准号：42076204
- 批准年份：2020
- 资助金额：58 万元
- 项目类别：面上项目
相似海外基金
Développement d'un modèle bicouche de l'épithélium mammaire: un nouvel outil pour les études de risques toxicologiques dans l'ère de Tox21
母乳腺皮细胞模型的开发：一种新的毒理学风险研究
- 批准号：
576598-2022 - 财政年份：2022
- 资助金额：
$ 0.69万 - 项目类别：
Alliance Grants
Développement d'un outil d'intelligence artificielle pour la prestation d'ergothérapie à distance
开发 duntil duntil dintelligence artificielle pour la prestation dergothàrapie à distance
- 批准号：
CCARD-2022-00150 - 财政年份：2022
- 资助金额：
$ 0.69万 - 项目类别：
CCI Applied Research and Development Grants
Développement d'un outil de simulation pour le contrôle de la ventilation des porcheries
门廊通风控制模拟开发
- 批准号：
573890-2022 - 财政年份：2022
- 资助金额：
$ 0.69万 - 项目类别：
University Undergraduate Student Research Awards
Développement d'un outil IA de connectivité pour l'industrie forestière
林业工业互联互通发展
- 批准号：
566181-2021 - 财政年份：2022
- 资助金额：
$ 0.69万 - 项目类别：
Applied Research and Development Grants - Level 2
Développement d'un outil IA-RFID pour la transformation numérique de la vente au détail
IA-RFID 的开发与数字化转型
- 批准号：
567602-2021 - 财政年份：2022
- 资助金额：
$ 0.69万 - 项目类别：
Applied Research and Development Grants - Level 2