首页>外文会议>High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on

High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on

召开年：2001
召开地：Boco Raton, FL
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Mechanisms for a reliable cooperation of vehicles

机译：车辆可靠合作的机制
- 作者：Nett E.;Gergeleit M.;Mock M.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
2.High assurance technologies for autonomous decentralized train control system

机译：自主分散列车控制系统的高保障技术
- 作者：Matsumoto M.;Kitamura S.;Sato M.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
3.On simplifying modular specification and verification of distributed protocols

机译：关于简化模块化规范和验证分布式协议
- 作者：Sinha P.;Suri N.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
4.Test-sequence generation from formal requirement models

机译：从形式需求模型生成测试序列
- 作者：Rayadurgam S.;Heimdahl M.P.E.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
5.A survey: applying formal methods to a software intensive system

机译：调查：将正式方法应用于软件密集型系统
- 作者：de Groot A.;Hooman J.;Lemoine M.;Gaudiere G.;Winter V.L.;Kapur D.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
6.An unavailability analysis of firewall sandwich configurations

机译：防火墙三明治配置的不可用性分析
- 作者：Goddard S.;Kieckhafer R.;Yuping Zhang
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
7.Automating techniques for inspecting high assurance systems

机译：检查高保障系统的自动化技术
- 作者：Fisher M.S.;Cukic B.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
8.Genetic programming model for software quality classification

机译：用于软件质量分类的遗传编程模型
- 作者：Yi Liu;Khoshgoftaar T.M.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
9.Highly reliable relational control programs for robust rapid transit systems

机译：用于可靠的快速运输系统的高度可靠的关系控制程序
- 作者：Bastani;F.B.;I-Ling Yen;Sung Kim
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
10.Model-checking for validation of a fault protection system

机译：通过模型检查来验证故障保护系统
- 作者：Feather M.S.;Fickas S.;Razermera-Mamy N.-A.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
11.The SASHA architecture for network-clustered web servers

机译：网络群集Web服务器的SASHA体系结构
- 作者：Goddard S.;Schroeder T.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
12.Verification of assurance of space on-board distributed computer system

机译：验证机载分布式计算机系统的空间
- 作者：Yashiro H.;Takahashi Y.;Fujiwara T.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
13.A test management and software visualization framework for heterogeneous distributed applications

机译：异构分布式应用程序的测试管理和软件可视化框架
- 作者：Ghosh S.;Bawa N.;Craig G.;Kalgaonkar K.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
14.Analyzing Internet security protocols

机译：分析Internet安全协议
- 作者：Yasinsac A.;Childs J.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
15.Finite-state analysis of the CAN bus protocol

机译：CAN总线协议的有限状态分析
- 作者：van Osch M.;Smolka S.A.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
16.Framework for testing the fault-tolerance of systems including OS and network aspects

机译：测试系统容错性的框架，包括操作系统和网络方面
- 作者：Buchacker K.;Sieh V.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
17.Integrating automatic verification of safety requirements in railway interlocking system design

机译：将安全要求的自动验证集成到铁路联锁系统设计中
- 作者：Dipoppa G.;DAlessandro G.;Semprini R.;Tronci E.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
18.A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification

机译：UML状态图图表的正式测试框架的行为：从理论到自动验证
- 作者：Latella;D.;Massink;M.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
19.Explicit representation of exception handling in the development of dependable component-based systems

机译：在可靠的基于组件的系统开发中明确表示异常处理
- 作者：Ferreira;G.R.M.;Rubira;C.M.F.;de Lemos;R.
- 会议名称：《》 | 2001年
20.Systems engineering of communication protocols for command and control systems

机译：指挥与控制系统通信协议的系统工程
- 作者：Thuente D.J.;Whiteman J.K.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
21.Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking

机译：第六届IEEE国际高保障系统工程研讨会论文集。专题：网络的影响
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年
22.Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network

机译：自适应逐步施工技术可为东京都铁路网提供高度保证
- 作者：Kera;K.;Bekki;K.;Kamijyo;K.
- 会议名称：《High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on》 | 2001年