首页> 外文会议> >COMPASS '90. Proceedings of the Fifth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security. (Cat. No.90CH2830-8)

【24h】

COMPASS '90. Proceedings of the Fifth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security. (Cat. No.90CH2830-8)

机译：罗盘'90。第五届计算机保障年度会议论文集。系统完整性，软件安全性和过程安全性。（货号90CH2830-8）

获取原文

页面导航

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

摘要

The following topics are dealt with: control systems for railway signalling; symbolic execution of automatic test data generation; software failure characterization; fast analysis of rule-based systems; detecting inconsistencies in knowledge bases; specification and verification of real-time system safety aspects; proof systems for program verification; code correspondence analysis; methods for meeting critical-system requirements; and regulation of medical software.

机译：涉及以下主题：铁路信号控制系统;自动执行测试数据生成的符号执行;软件故障表征;快速分析基于规则的系统;发现知识库中的不一致之处;实时系统安全方面的规范和验证;用于程序验证的证明系统;代码对应分析;满足关键系统要求的方法;和医疗软件的监管。

著录项

来源
《》|1990年||共1页
会议地点
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100) [J] . IEEE Transactions on Signal Processing . 2000,第10期

机译：2000年IEEE声学，语音和信号处理国际会议。会议记录（目录号：00CH37100）
2. COMPASS '96 THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE [J] . Karen Ferraiolo, Laura M. Ippolito Journal of Research of the National Institute of Standards and Technology . 1996,第6期

机译：COMPASS '96第十一届计算机保障年度大会
3. COMPASS '95 TENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE [J] . Bonnie P. Danner, Laura M. Ippolito, Dolores R. Wallace Journal of Research of the National Institute of Standards and Technology . 1995,第5期

机译：COMPASS '95第十届计算机保障年度会议
4. COMPASS '90. Proceedings of the Fifth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security. (Cat. No.90CH2830-8) [C] . Institute of Electric and Electronic Engineer Annual Conference on Computer Assurance . 1990

机译：指南针'90。第五届计算机保证年度会议的诉讼程序。系统完整性，软件安全和过程安全性。（猫。No.90ch2830-8）
5. Efficient validation of control flow integrity for enhancing computer system security. [D] . Park, Yong-Joon. 2010

机译：有效验证控制流完整性，以增强计算机系统的安全性。
6. Conference Report: COMPASS ’96 THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE Gaithersburg MD June 17–21 1996 [O] . Karen Ferraiolo, Laura M. Ippolito 1996

机译：会议报告：COMPASS 96第十一届计算机安全年度会议1996年6月17日至21日马里兰州盖瑟斯堡
7. Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conferences, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and Systems Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings [O] . Bogdan, Cristian, Gulliksen, Jan, Sauer, Stefan, 2016

机译：以人为中心和具有弹性的系统开发：IFIP WG 13.2 / 13.5联合工作会议，第六届国际以人为中心的软件工程会议，HCSE 2016，以及第八届国际人为错误，安全性和系统开发国际会议，HESSD 2016，斯德哥尔摩，瑞典，2016年8月29日至31日，会议记录

COMPASS '90. Proceedings of the Fifth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security. (Cat. No.90CH2830-8)

摘要

著录项

相似文献

相关主题

期刊订阅