刷新
{{item.name}}会员
FAW: Specification and Analysis Methodology for Safety- Critical Software
FAW：安全关键软件的规范和分析方法
基本信息
- 批准号：9396181
- 负责人：
- 金额：$ 25万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1993
- 资助国家：美国
- 起止时间：1993-05-30 至 1998-09-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Nancy Leveson其他文献
Nancy Leveson的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Nancy Leveson', 18)}}的其他基金
EAGER: A Systems Approach to Predicting and Preventing Accidents During Operations
EAGER：预测和预防运营期间事故的系统方法
- 批准号：
1841231 - 财政年份：2018
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
SGER: A Socio-Technical Approach to Internet Security
SGER：互联网安全的社会技术方法
- 批准号：
0550008 - 财政年份：2006
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
DRU: Dynamic Modeling of System Safety to Manage Risk and Enable Internal and External Cross-Stakeholder Alignment
DRU：系统安全动态建模，以管理风险并实现内部和外部跨利益相关者协调
- 批准号：
0527660 - 财政年份：2006
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
Designing Software to Reduce Operator Error
设计软件以减少操作员错误
- 批准号：
0438153 - 财政年份：2005
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
ITR: A Center for Safety-Critical Embedded Software
ITR：安全关键嵌入式软件中心
- 批准号：
0085829 - 财政年份：2000
- 资助金额：
$ 25万 - 项目类别：
Continuing Grant
Specification and Design Support for Software Evolution
软件演进的规范和设计支持
- 批准号：
9996268 - 财政年份：1999
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
Software Requirements and the Human-Computer Interface
软件要求和人机界面
- 批准号：
9996265 - 财政年份：1999
- 资助金额：
$ 25万 - 项目类别：
Continuing Grant
Specification and Design Support for Software Evolution
软件演进的规范和设计支持
- 批准号：
9633428 - 财政年份：1996
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
Software Requirements and the Human-Computer Interface
软件要求和人机界面
- 批准号：
9520813 - 财政年份：1996
- 资助金额：
$ 25万 - 项目类别：
Continuing Grant
CISE Postdoctoral Program: ES Postdoctoral Associate: Safety and the Human-Computer Interface
CISE博士后项目：ES博士后助理：安全与人机界面
- 批准号：
9504064 - 财政年份：1995
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
相似海外基金
SHF: Small: INCA: Incremental Analysis of Software Specification for Evolving Systems
SHF：小型：INCA：不断发展的系统软件规范的增量分析
- 批准号：
2204536 - 财政年份：2022
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
Identifying gene regulatory networks controlling photoreceptor specification by transcriptomic and epigenomic analysis of retinal development in cone-dominant retina
通过锥体优势视网膜视网膜发育的转录组和表观基因组分析来识别控制光感受器规格的基因调控网络
- 批准号：
10116765 - 财政年份：2021
- 资助金额：
$ 25万 - 项目类别：
RUI: Biochemical and genetic analysis of conserved molecular scaffold Tudor complex required for germ cell specification in Drosophila
RUI：果蝇生殖细胞规范所需的保守分子支架 Tudor 复合物的生化和遗传分析
- 批准号：
2130162 - 财政年份：2021
- 资助金额：
$ 25万 - 项目类别：
Continuing Grant
Identifying gene regulatory networks controlling photoreceptor specification by transcriptomic and epigenomic analysis of retinal development in cone-dominant retina
通过锥体优势视网膜视网膜发育的转录组和表观基因组分析来识别控制光感受器规格的基因调控网络
- 批准号：
10320067 - 财政年份：2021
- 资助金额：
$ 25万 - 项目类别：
Robust Inference and Specification Analysis in Incomplete Models
不完整模型中的稳健推理和规范分析
- 批准号：
2018498 - 财政年份：2020
- 资助金额：
$ 25万 - 项目类别：
Standard Grant
Comprehensive analysis of periocular mesenchyme composition, specification and function during anterior segment formation
眼前节形成过程中眼周间质成分、规格和功能的综合分析
- 批准号：
10090470 - 财政年份：2018
- 资助金额：
$ 25万 - 项目类别：
Comprehensive analysis of periocular mesenchyme composition, specification and function during anterior segment formation
眼前节形成过程中眼周间质成分、规格和功能的综合分析
- 批准号：
10334487 - 财政年份：2018
- 资助金额：
$ 25万 - 项目类别：
Analysis of intestinal stem cell specification in Drosophila development
果蝇发育中肠道干细胞的特性分析
- 批准号：
509024-2017 - 财政年份：2017
- 资助金额：
$ 25万 - 项目类别：
University Undergraduate Student Research Awards
Deconstructing the cellular basis of thalamic nuclei specification by in vivo clonal analysis
通过体内克隆分析解构丘脑核规格的细胞基础
- 批准号：
9033561 - 财政年份：2016
- 资助金额：
$ 25万 - 项目类别：
III: Small: Specification and Analysis of Multi-Actor Data-Driven Business Processes
III：小型：多参与者数据驱动业务流程的规范和分析
- 批准号：
1422375 - 财政年份：2014
- 资助金额：
$ 25万 - 项目类别：
Standard Grant