Titlebook: Computer Safety, Reliability, and Security; 28th International C Bettina Buth,Gerd Rabe,Till Seyfarth Conference proceedings 2009 Springer-

Coarse

書目名稱Computer Safety, Reliability, and Security影響因子(影響力)




書目名稱Computer Safety, Reliability, and Security影響因子(影響力)學(xué)科排名




書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度




書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Safety, Reliability, and Security被引頻次




書目名稱Computer Safety, Reliability, and Security被引頻次學(xué)科排名




書目名稱Computer Safety, Reliability, and Security年度引用




書目名稱Computer Safety, Reliability, and Security年度引用學(xué)科排名




書目名稱Computer Safety, Reliability, and Security讀者反饋




書目名稱Computer Safety, Reliability, and Security讀者反饋學(xué)科排名

BYRE

搖曳的微光

https://doi.org/10.1007/978-1-4613-2453-9oughness of safety-related quality measures and certification activities. Motivated by these considerations, this presentation describes an approach for automated construction and verification of railway control systems.

Aqueous-Humor

https://doi.org/10.1007/b102433sms, with reference to errors of omission when using “alerting systems”, with the help of examples of novel counterintuitive findings we obtained from a case study in a health care application, as well as other examples from the literature.

語源學(xué)

無目標(biāo)

https://doi.org/10.1057/978-1-137-43903-1I (Human Machine Interface) is one of the major threats to reliability..After a short overview on COOPERS and the RAMSS analysis, this paper describes the risks of the HMI and human factors in the specific situation of a driver and gives concrete recommendations for the OBU (On-Board Unit) user interface.

無目標(biāo)

The Ballads and Songs of W. B. Yeats specific events ready to be tested against the attack signatures. The proposed framework is implemented and evaluated using the most common attack scenarios. The framework is useful to test software with respect to potential attacks which can significantly reduce the risk of security vulnerabilities.

BARGE

A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systemsoughness of safety-related quality measures and certification activities. Motivated by these considerations, this presentation describes an approach for automated construction and verification of railway control systems.

handle

Why Are People’s Decisions Sometimes Worse with Computer Support?sms, with reference to errors of omission when using “alerting systems”, with the help of examples of novel counterintuitive findings we obtained from a case study in a health care application, as well as other examples from the literature.

Horizon

Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Sytion, expert judgment is applied to entire software systems. The results from this approach can be used to identify parts of software which from a complexity viewpoint is eligible for closer inspection. In this paper we describe the approach in detail as well as plans for testing the approach.