首页> 外文会议>Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification >Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems

【24h】

Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems

机译：初步摘要：FM89评估可信赖计算机系统的正式方法

获取原文

获取原文并翻译 | 示例

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification》|1989年|P.152-155|共4页
会议地点 Key West FL(US)
作者
S. Gerhart; PS. Gerhart;
展开▼
作者单位

MCC Software Technology Program;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Methods for?trustworthy nutritional recommendations NutriRECS (Nutritional Recommendations and accessible Evidence summaries Composed of Systematic reviews): a protocol [J] . Bradley C. Johnston, Pablo Alonso-Coello, Malgorzata M. Bala, BMC Medical Research Methodology . 2018,第1期

机译：推荐营养建议的方法NutriRECS（营养建议和可取证据汇总，由系统评价组成）：协议
2. Formal and functional assessment of the pyramid method for summary content evaluation [J] . REBECCA J. PASSONNEAU Natural language engineering . 2010,第pta2期

机译：金字塔方法的形式和功能评估，用于摘要内容评估
3. Toward a comprehensive evidence map of overview of systematic review methods: paper 2—risk of bias assessment; synthesis, presentation and summary of the findings; and assessment of the certainty of the evidence [J] . Carole Lunny, Sue E. Brennan, Steve McDonald, Systematic Reviews . 2018,第1期

机译：建立系统评价方法概述的综合证据图：论文2 –偏倚评估的风险;研究结果的综合，介绍和总结;和证据的确定性评估
4. FM 89: assessment of formal methods for trustworthy computer systems [C] . D. Craigen International conference on Software engineering . 1990

机译：FM 89：评估可信赖计算机系统的正式方法
5. Dynamic Event Fault Tree (DEFT): A methodology for probabilistic risk assessment of computer-based systems. [D] . Xu, Hong. 2008

机译：动态事件故障树（DEFT）：一种基于计算机的系统的概率风险评估方法。
6. Correction to: Methods for trustworthy nutritional recommendations NutriRECS (Nutritional Recommendations and accessible Evidence summaries Composed of Systematic reviews): a protocol [O] . Bradley C. Johnston, Pablo Alonso-Coello, Malgorzata M. Bala, 2019

机译：更正为：值得信赖的营养推荐方法NutriRECS（营养推荐和可取证据汇总由系统评价组成）：协议
7. Computer Methods for Describing Groups from Binary Phenetic Data: Preliminary Summary and Editing of Data [O] . C. A. WALCZAK, M. I. KRICHEVSKY 1980

机译：用于描述二进制苯特征数据的组的计算机方法：数据的初步摘要和编辑

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号