Titlebook: Computer Safety, Reliability, and Security; 31st International C Frank Ortmeier,Peter Daniel Conference proceedings 2012 Springer-Verlag Be

Enkephalin

书目名称Computer Safety, Reliability, and Security影响因子(影响力)




书目名称Computer Safety, Reliability, and Security影响因子(影响力)学科排名




书目名称Computer Safety, Reliability, and Security网络公开度




书目名称Computer Safety, Reliability, and Security网络公开度学科排名




书目名称Computer Safety, Reliability, and Security被引频次




书目名称Computer Safety, Reliability, and Security被引频次学科排名




书目名称Computer Safety, Reliability, and Security年度引用




书目名称Computer Safety, Reliability, and Security年度引用学科排名




书目名称Computer Safety, Reliability, and Security读者反馈




书目名称Computer Safety, Reliability, and Security读者反馈学科排名

LEVY

dictator

Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profileion and developed test generation methods are shown to be applicable after mapping the specification model onto SPENAT. The practical use of this tool chain is exemplarily demonstrated for a safety fieldbus profile.

judicial

Formal Development and Assessment of a Reconfigurable On-board Satellite System discover possible reconfiguration strategy and continue to provide its services despite failures of its vital components. We integrate probabilistic verification to evaluate reconfiguration alternatives. Our approach is illustrated by a case study from aerospace domain.

老人病学

NOT

0302-9743 rnational Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analy

NOT

调色板

Exclude

背书

The Underperforming Private Sectoration authorities, security objectives and specifications must be clearly identified thanks to a security risk assessment process. This paper gives main characteristics for a security risk assessment methodology to be integrated in the early design of airborne systems development and compliant with airworthiness security standards.