Clique
发表于 2025-3-21 19:15:39
书目名称Computer Safety, Reliability, and Security影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0233740<br><br> <br><br>书目名称Computer Safety, Reliability, and Security读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0233740<br><br> <br><br>
碎石头
发表于 2025-3-21 22:34:29
The Business of iPhone App Developmentthe argument-fragment architecture and rules for automatic generation, including their application in an illustrative example. The proposed approach enables safety engineers to focus on increasing the confidence in the knowledge about the system, rather than documenting a safety case.
Jejune
发表于 2025-3-22 03:59:02
Increasing Awareness for Your iPhone App, system, we demonstrate: first, how expert knowledge of the functional safety domain can be captured, second, how the tedious and error prone task of manually implementing safety mechanisms can be automated, and third, how this serves as a basis for formal safety argumentation.
sorbitol
发表于 2025-3-22 08:06:39
Making Implicit Safety Requirements Explicittion mechanism fulfills these requirements. A model-based testing approach has been used to test the software implementing such protection mechanism. The model used for testing has been model checked against the contract specification ensuring that the system-level safety requirements are met.
hieroglyphic
发表于 2025-3-22 11:16:40
http://reply.papertrans.cn/24/2338/233740/233740_5.png
老巫婆
发表于 2025-3-22 13:49:39
http://reply.papertrans.cn/24/2338/233740/233740_6.png
老巫婆
发表于 2025-3-22 18:02:39
http://reply.papertrans.cn/24/2338/233740/233740_7.png
小争吵
发表于 2025-3-23 01:10:42
The Business of iPhone App Developmentification effort in the presence of change. In this paper we describe how a modular assurance case can be established based upon formal analysis of the necessary preconditions of the component. Our approach supports the reuse of arguments and evidence established for components, including the results of the formal analysis.
convert
发表于 2025-3-23 04:25:16
Increasing Awareness for Your iPhone App,security of distributed systems. In this work, a trust-based approach is discussed to make WSNs tolerant against attacks targeting their routing layer. We show how such attacks are tolerated with low overhead in comparison to unprotected systems. Preliminary experimental results are presented confirming the validity of the proposed approach.
Kidney-Failure
发表于 2025-3-23 07:08:03
Assurance Cases for Block-Configurable Softwareification effort in the presence of change. In this paper we describe how a modular assurance case can be established based upon formal analysis of the necessary preconditions of the component. Our approach supports the reuse of arguments and evidence established for components, including the results of the formal analysis.