The Experimental Evaluation of a Fuzzy Set Based Approach ToEstimating the Correctness of Computer Programs

基于模糊集的计算机程序正确性估计方法的实验评估

基本信息

批准号：
8301745
负责人：
Farokh Bastani
金额：
$ 3.47万
依托单位：
University of Houston
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1983
资助国家：
美国
起止时间：
1983-07-15 至 1986-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8301745&HistoricalAwards=false
关键词：
Experimental Evaluation Fuzzy Set Based

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Farokh Bastani其他文献

Farokh Bastani的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

{{ truncateString('Farokh Bastani', 18)}}的其他基金

I/UCRC: NSF Net-centric and Cloud Software and Systems

I/UCRC：NSF 以网络为中心的云软件和系统

批准号：
1361795
财政年份：
2014
资助金额：
$ 3.47万
项目类别：
Continuing Grant

Collaborative Research: FRP: QoS-Assured Service Composition and Execution

合作研究：FRP：QoS保证的服务组合和执行

批准号：
1128270
财政年份：
2011
资助金额：
$ 3.47万
项目类别：
Standard Grant

MRI Consortium: Development of Instrumentation for Measuring the Dependability and Quality of Cloud Computing Systems

MRI 联盟：开发用于测量云计算系统可靠性和质量的仪器

批准号：
1126393
财政年份：
2011
资助金额：
$ 3.47万
项目类别：
Standard Grant

Collaborative Research: IUCRC Center Proposal: Net-Centric Software and Systems

合作研究：IUCRC 中心提案：以网络为中心的软件和系统

批准号：
0855944
财政年份：
2009
资助金额：
$ 3.47万
项目类别：
Continuing Grant

I/UCRC: A Planning Activity for Joining the Center for Embedded Systems

I/UCRC：加入嵌入式系统中心的规划活动

批准号：
0733940
财政年份：
2007
资助金额：
$ 3.47万
项目类别：
Standard Grant

Relational Programs

关系型程序

批准号：
9900922
财政年份：
1999
资助金额：
$ 3.47万
项目类别：
Standard Grant

Investigation of a Robust Software Architecture for Safety-Critical Applications

针对安全关键应用的鲁棒软件架构的研究

批准号：
9803993
财政年份：
1998
资助金额：
$ 3.47万
项目类别：
Standard Grant

相似国自然基金

基于模糊粗糙多准则FMEA的重大疫情院内感染风险评估方法

批准号：
72204183
批准年份：
2022
资助金额：
30.00 万元
项目类别：
青年科学基金项目

非线性信息物理系统基于风险评估的自适应模糊安全控制研究

批准号：
批准年份：
2022
资助金额：
54 万元
项目类别：
面上项目

基于模糊粗糙多准则FMEA的重大疫情院内感染风险评估方法

批准号：
批准年份：
2022
资助金额：
30 万元
项目类别：
青年科学基金项目

非线性信息物理系统基于风险评估的自适应模糊安全控制研究

批准号：
62273121
批准年份：
2022
资助金额：
54.00 万元
项目类别：
面上项目

基于模糊区间值函数的鲁棒优化理论的突发公共卫生事件快速风险评估、决策支持和响应机制研究

批准号：
12171065
批准年份：
2021
资助金额：
51 万元
项目类别：
面上项目

相似海外基金

Development of a knowledge to action framework based on the promotion of intercultural dialogue between official and traditional health systems

基于促进官方和传统卫生系统之间的跨文化对话，制定从知识到行动的框架

批准号：
387616
财政年份：
2018
资助金额：
$ 3.47万
项目类别：
Fellowship Programs

Home Use of MD-Logic Automated Insulin Delivery System: Safety and Efficacy

MD-Logic 自动胰岛素输送系统的家庭使用：安全性和有效性

批准号：
9055076
财政年份：
2015
资助金额：
$ 3.47万
项目类别：