首页> 外文OA文献 >Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis

【2h】

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis

机译：使用形式化日志文件分析验证分布式系统中的可信赖性要求

页面导航

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

著录项

作者
A. Ulricha; H. Hallalb; A. Petrenkob; S. Borodayb; Siemens Ag; Ct Se;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A formal approach for the specification and verification of trustworthy component-based systems [J] . Mubarak Mohammad, Vangalur Alagar The Journal of Systems and Software . 2011,第1期

机译：规范和验证可信赖的基于组件的系统的正式方法
2. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [J] . S. Grizalis, D. Spinellis, P. Georgiadis Computer Communications . 1999,第8期

机译：开放网络和分布式系统上的安全协议：用于分析，设计和验证的正式方法
3. Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System [J] . Nadeem Akhtar, Aisha Shafique Ghori, Nadeem Salamat International Journal of Computer Science & Information Technology (IJCSIT) . 2014,第6期

机译：基于多Agent的大学信息管理系统的需求分析，架构设计和形式验证
4. Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis [C] . A. Ulrich, H. Hallal, A. Petrenko, Annual Hawaii International Conference on System Sciences . 2003

机译：验证具有正式日志文件分析的分布式系统中的可信度要求
5. Formal verification for analysis and design of logic controllers for reconfigurable manufacturing systems. [D] . Kalita, Dhrubajyoti. 2001

机译：用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
6. Design Analysis and Verification of an Electro- Hydrostatic Actuator for Distributed Actuation System [O] . Yang Li, Zongxia Jiao, Zimeng Wang 2020

机译：分布式执行系统中的电动静液压执行机构的设计分析和验证
7. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [O] . S. Gritzalisa, D. Spinellisc, P. Georgiadisd 2014

机译：开放网络和分布式系统上的安全协议：用于分析，设计和验证的正式方法
8. Formal System Verification for Trustworthy Embedded Systems [R] . Andronick, J., Klein, G. 2011

机译：可靠嵌入式系统的形式化系统验证

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis

著录项

引文网络

相似文献

相关主题

期刊订阅