刷新
{{item.name}}会员
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
基本信息
- 批准号：170458-1995
- 负责人：
- 金额：$ 1.3万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1998
- 资助国家：加拿大
- 起止时间：1998-01-01 至 1999-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 }}
Leue, Stefan其他文献
K*: A heuristic search algorithm for finding the k shortest paths
- DOI：
10.1016/j.artint.2011.07.003 - 发表时间：
2011-12-01 - 期刊：
- 影响因子：14.4
- 作者：
Aljazzar, Husain;Leue, Stefan - 通讯作者：
Leue, Stefan
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
- DOI：
10.1109/tse.2009.57 - 发表时间：
2010-01-01 - 期刊：
- 影响因子：7.4
- 作者：
Aljazzar, Husain;Leue, Stefan - 通讯作者：
Leue, Stefan
Leue, Stefan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Leue, Stefan', 18)}}的其他基金
Design of object-oriented, concurrent real-time systems
面向对象的并发实时系统的设计
- 批准号：
170458-1999 - 财政年份：2000
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号：
193706-1996 - 财政年份：1999
- 资助金额：
$ 1.3万 - 项目类别：
Collaborative Research and Development Grants
Design of object-oriented, concurrent real-time systems
面向对象的并发实时系统的设计
- 批准号：
170458-1999 - 财政年份：1999
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号：
193706-1996 - 财政年份：1998
- 资助金额：
$ 1.3万 - 项目类别：
Collaborative Research and Development Grants
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1997
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号：
193706-1996 - 财政年份：1997
- 资助金额：
$ 1.3万 - 项目类别：
Collaborative Research and Development Grants
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1996
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1995
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于贝叶斯网络可靠度演进模型的城市雨水管网整体优化设计理论研究
- 批准号：51008191
- 批准年份：2010
- 资助金额：20.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Affordable Robot-Based Assessment of Cognitive and Motor Impairment in People Living with HIV and HIV-Stroke
经济实惠的基于机器人的艾滋病毒感染者和艾滋病毒中风患者认知和运动障碍评估
- 批准号：
10751316 - 财政年份：2023
- 资助金额：
$ 1.3万 - 项目类别：
CDS&E: ECCS: Accurate and Efficient Uncertainty Quantification and Reliability Assessment for Computational Electromagnetics and Engineering
CDS
- 批准号：
2305106 - 财政年份：2023
- 资助金额：
$ 1.3万 - 项目类别：
Standard Grant
Determining reliability and efficacy of intraoperative sensors to reduce structural damage during cochlear implantation
确定术中传感器的可靠性和有效性，以减少人工耳蜗植入期间的结构损伤
- 批准号：
10760827 - 财政年份：2023
- 资助金额：
$ 1.3万 - 项目类别：
Enhancing gnomAD Sustainability: Implementing Site Reliability Engineering Principles for Genomic Data Infrastructure
增强 gnomAD 可持续性：实施基因组数据基础设施站点可靠性工程原则
- 批准号：
10838180 - 财政年份：2023
- 资助金额：
$ 1.3万 - 项目类别：
Testing a Mobile App to Improve Toothbrushing Skills and Habits in Teens with Autism.
测试移动应用程序以提高自闭症青少年的刷牙技能和习惯。
- 批准号：
10738080 - 财政年份：2023
- 资助金额：
$ 1.3万 - 项目类别：
Empirical likelihood and other nonparametric and semiparametric statistical methods for complex surveys, reliability engineering, and environmental studies
用于复杂调查、可靠性工程和环境研究的经验可能性和其他非参数和半参数统计方法
- 批准号：
RGPIN-2017-06267 - 财政年份：2022
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
Integrating Reliability Engineering and Resilience Assessment for Hybrid Renewable Energy Facilities Management in Northern Communities of Canada
加拿大北部社区混合可再生能源设施管理的可靠性工程和弹性评估相结合
- 批准号：
RGPIN-2022-04918 - 财政年份：2022
- 资助金额：
$ 1.3万 - 项目类别：
Discovery Grants Program - Individual
Boosting SUstaiNability, Reliability and EfficiencY of perovskite PV through novel materials and process engineering
通过新型材料和工艺工程提高钙钛矿光伏的可持续性、可靠性和效率
- 批准号：
10058454 - 财政年份：2022
- 资助金额：
$ 1.3万 - 项目类别：
EU-Funded
Low-Cost Refreshable Full-Page Braille Display with High Reliability
高可靠性低成本可刷新全页盲文显示器
- 批准号：
10482654 - 财政年份：2022
- 资助金额：
$ 1.3万 - 项目类别：
Boosting SUstaiNability, Reliability and EfficiencY of perovskite PV through novel materials and process engineering.
通过新型材料和工艺工程提高钙钛矿光伏的可持续性、可靠性和效率。
- 批准号：
10052189 - 财政年份：2022
- 资助金额：
$ 1.3万 - 项目类别：
EU-Funded