Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
基本信息
- 批准号：RGPIN-2016-06393
- 负责人：
- 金额：$ 2.77万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Application aux systèmes d'édition collaborative temps réel; Application aux systèmes de sécurité; Application aux systèmes temps réel; Méthodes formelles basées sur des modèles; Model checking et Synthèse de contrôleur; Parallélisation de techniques de vérification; Propriétés qualitatives (sureté, vivacité, sécurité); Propriétés quantitatives (temps, coûts); Techniques d'abstraction; Techniques d'ordre partiel
应用程序辅助系统版本协作临时记录；应用程序辅助系统安全；安全）；Propriétés 定量（temps，coûts）；
项目成果
期刊论文数量（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 }}
Boucheneb, Hanifa其他文献
Boucheneb, Hanifa的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Boucheneb, Hanifa', 18)}}的其他基金
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2020
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2020
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2019
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2019
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2018
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2018
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2017
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2017
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2016
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2016
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
区域农业、工业、服务业环境效率的虚拟标杆理论及应用研究 ——以中国省域农业、工业、服务业环境效率为例
- 批准号：71864010
- 批准年份：2018
- 资助金额：28.1 万元
- 项目类别：地区科学基金项目
基于体内外模型的Par3L调控结直肠癌发展及其与14-3-3相关分子机制的研究
- 批准号：81760434
- 批准年份：2017
- 资助金额：36.0 万元
- 项目类别：地区科学基金项目
PAR平台中算法程序模型变换正确性研究
- 批准号：61662036
- 批准年份：2016
- 资助金额：39.0 万元
- 项目类别：地区科学基金项目
基于MC活化-PAR2-CGRP环路探讨电针治疗PI-IBS模型大鼠内脏高敏感的作用机制
- 批准号：81473748
- 批准年份：2014
- 资助金额：74.0 万元
- 项目类别：面上项目
空间缆索自锚式悬索桥的无差别坐标杆分析模型
- 批准号：51408249
- 批准年份：2014
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2020
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2020
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2019
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2019
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual
Vérification par model-checking et synthèse de contrôleur de systèmes temps réel complexes
模型检查和系统时间控制综合的验证
- 批准号：
RGPIN-2016-06393 - 财政年份：2018
- 资助金额：
$ 2.77万 - 项目类别：
Discovery Grants Program - Individual