Towards Rapid Re-Certification Using Formal Analysis.

机译：使用形式分析实现快速重新认证。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Outline. 1. Problem Overview: Why is software (re)certification hard? What s the risk? 2. What kind of solution is needed? 3. Technical Background. 4. Approach, Running Example. Conflict Detection, Reconciliation. 5. Recertification Triggers. 6. Does it scale? 7. Future Work.

著录项

作者
Smullen, D.; Breaux, T.;
展开▼
作者单位

展开▼
年度 2015
页码 1-36
总页数 36
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer programs; Automation; Conflict; Data processing; Detection; Risk; Scale; Solutions(general); Symposia; Briefing charts;

机译：计算机程序;自动化;冲突;数据处理;检测;风险;规模;解决方案（综合）;专题讨论会;简报图表;

相似文献

外文文献
中文文献
专利

1. Rapid Identification of pathogenic rapidly growing mycobacteria by PCR-restriction endonuclease analysis. [J] . Wang SX, Tay L, Sng LH Annals of the Academy of Medicine, Singapore . 2005,第1期

机译：通过PCR限制性内切核酸酶分析快速鉴定致病性快速增长的分枝杆菌。
2. Illicit and pharmaceutical drug consumption estimated via wastewater analysis. Part B: Placing back-calculations in a formal statistical framework [J] . R. Udrisard Revue internationale de criminologie et de police technique et scientifique . 2015,第4期

机译：通过废水分析估算出非法和药物消耗量。 B部分：将反向计算置于正式的统计框架中
3. Illicit and pharmaceutical drug consumption estimated via wastewater analysis. Part B: Placing back-calculations in a formal statistical framework [J] . Hayley E.Jones, Matthew Hickman, Barbara Kasprzyk-Hordern, Science of the total environment . 2014,第JULa15期

机译：通过废水分析估算出非法和药物消耗量。 B部分：将反向计算置于正式的统计框架中
4. RAPID SCREENING METHOD TO DETERMINE HYDRAULIC ACTIVITY INDEX OF PUMICEOUS POZZOLANIC MATERIALS FROM GUATEMALA, USING XRD ANALYSIS. [C] . Velasquez, Luis, Diaz, International conference on cement microscopy . 2017

机译：利用X射线衍射分析快速确定危地马拉浮石质材料水力活度指标的方法。
5. A formal decomposition-based redesign methodology for rapid design customization. [D] . Li, Simon Hiu Pang. 2005

机译：一种基于形式的基于分解的重新设计方法，用于快速设计定制。
6. Genetics of acheiropodia (the handless and footless families of Brazil). VI. Formal genetic analysis. [O] . A Freire-Maia, N Freire-Maia, N E Morton, 1975

机译：棘足动物的遗传学（巴西无足轻重的家庭）。 VI。正式的遗传分析。
7. Towards Rapid Re-Certification Using Formal Analysis [O] . Smullen Daniel 2015

机译：使用形式化分析进行快速重新认证

Towards Rapid Re-Certification Using Formal Analysis.

摘要

著录项

相似文献

相关主题

期刊订阅