课题基金 / 基金详情

FAW: Specification and Analysis Methodology for Safety- Critical Software

FAW: Specification and Analysis Methodology for Safety- Critical Software
FAW：安全关键软件的规范和分析方法
批准号：
9396181
负责人：
Nancy Leveson
金额：
$25.0万
依托单位：
University of Washington
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1993
资助国家：
美国
项目状态：
已结题
起止时间：
1993-05-30 至 1998-09-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9396181&HistoricalAwards=false
关键词：
FAWSpecificationAnalysisMethodologySafety

项目摘要

项目成果

Nancy Leveson的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: A Systems Approach to Predicting and Preventing Accidents During Operations
SGER: A Socio-Technical Approach to Internet Security
DRU: Dynamic Modeling of System Safety to Manage Risk and Enable Internal and External Cross-Stakeholder Alignment
Designing Software to Reduce Operator Error
海外基金