刷新
{{item.name}}会员
Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
提高模型检查和基于 FSM 的测试技术对复杂软件系统的适用性
基本信息
- 批准号：203248-2006
- 负责人：
- 金额：$ 1.81万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2011
- 资助国家：加拿大
- 起止时间：2011-01-01 至 2012-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 }}
Chen, XiaoJun(Jessica)其他文献
Chen, XiaoJun(Jessica)的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Chen, XiaoJun(Jessica)', 18)}}的其他基金
Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
提高模型检查和基于 FSM 的测试技术对复杂软件系统的适用性
- 批准号：
203248-2006 - 财政年份：2009
- 资助金额：
$ 1.81万 - 项目类别：
Discovery Grants Program - Individual
Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
提高模型检查和基于 FSM 的测试技术对复杂软件系统的适用性
- 批准号：
203248-2006 - 财政年份：2008
- 资助金额：
$ 1.81万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Exploring the Applicability of Potential Negative Allosteric Modulators at the Mu Opioid Receptor
探索 Mu 阿片受体潜在负变构调节剂的适用性
- 批准号：
10607645 - 财政年份：2023
- 资助金额：
$ 1.81万 - 项目类别：
Applicability of neural network to constitutive model under multi-axial stress field
神经网络在多轴应力场本构模型中的适用性
- 批准号：
19K15136 - 财政年份：2019
- 资助金额：
$ 1.81万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Implementation of Microsimulation Technique in World Urban Model and its Applicability to Europe and Asia(Fostering Joint International Research)
微观模拟技术在世界城市模型中的应用及其在欧洲和亚洲的适用性（促进国际联合研究）
- 批准号：
16KK0013 - 财政年份：2017
- 资助金额：
$ 1.81万 - 项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research)
Testing the applicability of the facilitation model of community succession in terrestrial heterotrophic communities
测试陆地异养群落群落演替促进模型的适用性
- 批准号：
341420-2012 - 财政年份：2016
- 资助金额：
$ 1.81万 - 项目类别：
Discovery Grants Program - Individual
The applicability of the projection model: A designing mothed of Chinese pedagogical grammar
投影模型的适用性：汉语教学语法的一种设计方法
- 批准号：
15K02682 - 财政年份：2015
- 资助金额：
$ 1.81万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Applicability of a Linear Quadratic Model for Hypofractionated Radiation Therapy
线性二次模型在大分割放射治疗中的适用性
- 批准号：
15K19809 - 财政年份：2015
- 资助金额：
$ 1.81万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Therapeutic potential and broader applicability of forced chromatin looping
强制染色质环化的治疗潜力和更广泛的适用性
- 批准号：
8979007 - 财政年份：2015
- 资助金额：
$ 1.81万 - 项目类别：
Generating Multiple Circuit and Neuron Type Specific AAV Vectors With Cross-Species Applicability
生成具有跨物种适用性的多个电路和神经元类型特定的 AAV 载体
- 批准号：
9315222 - 财政年份：2015
- 资助金额：
$ 1.81万 - 项目类别：
Applicability of Mouse Breast Cancer Models to Tumor-Immune Network Investigation
小鼠乳腺癌模型在肿瘤免疫网络研究中的适用性
- 批准号：
9121492 - 财政年份：2015
- 资助金额：
$ 1.81万 - 项目类别：
Administrative Supplements for Generating Multiple Circuit And Neuron Type Specific AAV Vectors With Cross-Species Applicability
用于生成具有跨物种适用性的多回路和神经元类型特定 AAV 载体的管理补充剂
- 批准号：
9267315 - 财政年份：2015
- 资助金额：
$ 1.81万 - 项目类别：