Proceedings. Fifth IEEE International Symposium on High AssuranceSystems Engineering (HASE 2000)

机译：议事录。第五届IEEE高保证国际研讨会系统工程（HASE 2000）

获取原文

页面导航

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

摘要

The following topics were dealt with: test-based comprehension andfailure prediction models and metrics; UML (Unified Modeling Language)implementation; special purpose high consequence processors; formalmethods; requirements specification, analysis and design; formalvalidation; program testing tools; high assurance systems engineeringand testing; and reliability models and metrics

机译：处理了以下主题：基于测试的理解和故障预测模型和指标; UML（统一建模语言）执行;特殊用途的高后果处理器;正式的方法;需求规范，分析和设计;正式的验证;程序测试工具;高保障系统工程和测试;和可靠性模型与指标

著录项

来源
《High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000》||p.1-6|共6页
会议地点
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Special Issue on Biomedical Monitoring Technologies: Selected Papers from the 12th IEEE International Conference on BioInformatics and BioEngineering (BIBE 2012) and the 8th International Symposium on Advanced Topics in Electrical Engineering (ATEE 2013), Part 2 [J] . Christos P. Loizou, Mihaela Morega, Efthyvoulos C. Kyriakou, International Journal of Monitoring and Surveillance Technologies Research . 2013,第4期

机译：生物医学监测技术专刊：第12届IEEE国际生物信息学和生物工程会议（BIBE 2012）和第8届国际电子工程高级主题研讨会（ATEE 2013）的论文摘要，第2部分
2. Special Issue on Biomedical Monitoring Technologies: Selected Papers from the 12th IEEE International Conference on Biolnformatics and BioEngineering (BIBE 2012) and the 8th International Symposium on Advanced Topics in Electrical Engineering (ATEE 2013), Part 1 [J] . Christos P. Loizou, Mihaela Morega, Efthyvoulos C. Kyriakou, International Journal of Monitoring and Surveillance Technologies Research . 2013,第3期

机译：生物医学监测技术专刊：第12届IEEE国际生物信息学和生物工程会议（BIBE 2012）和第8届国际电子工程高级主题研讨会（ATEE 2013）的论文摘要，第1部分
3. SCAN 2000 GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Interval 2000: International Conference on Interval Methods in Science and Engineering [J] . Axel Facius, Rudolf Lohner Reliable Computing . 2001,第2期

机译：SCAN 2000 GAMM-IMACS 2000年科学计算，计算机算术和有效数字间隔国际研讨会：科学和工程学间隔方法国际会议
4. Proceedings 4th IEEE International Symposium on High-AssuranceSystems Engineering [C] . High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on . -1

机译：第四届IEEE国际会议论文集系统工程学
5. The Politics of International Large-Scale Assessment: The Programme for International Student Assessment (PISA) and American Education Discourse, 2000-2012. [D] . Green Saraisky, Nancy. 2015

机译：国际大规模评估的政治学：国际学生评估计划（PISA）和美国教育课程，2000-2012年。
6. Announcement: Fourth International Symposium on Speciation of Elements in Biological Environmental and Toxicological Sciences (Whistler 2000 Speciation Symposium) [O] . 1999

机译：公告：第四届生物环境和毒理学中的元素形态国际研讨会（惠斯勒2000形态研讨会）
7. The Second International Symposium on Constructing Software Engineering Tools (CoSET2000) [O] . Gray J., Scott L., Ferguson I. 2000

机译：第二届构建软件工程工具国际研讨会（CosET2000）
8. Critical Gaps in Durability Data for FRP Composites in Civil Infrastructure. Reprinted from the Science of Advanced Materials and Process Engineering Series. Society for the Advancement of Materials and Process Engineering (SAMPE), 45th International SAMPE Symposium and Exhibition. Volume 45. Proceedings. May 21-25, 2000, Long Beach, CA [R] . Karbhari, V. M., Chin, J. W., Reynaud, D. 2000

机译：土木基础设施中FRp复合材料耐久性数据的重大差距。转载自先进材料与工艺工程系列科学。促进材料与加工工程学会（sampE），第45届国际sampE研讨会暨展览会。第45卷。会议记录。 2000年5月21日至25日，加利福尼亚州长滩

Proceedings. Fifth IEEE International Symposium on High AssuranceSystems Engineering (HASE 2000)

摘要

著录项

相似文献

相关主题

期刊订阅