ISSUE
发表于 2025-3-21 17:17:14
书目名称Computer Safety, Reliability and Security影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK0233717<br><br> <br><br>书目名称Computer Safety, Reliability and Security读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK0233717<br><br> <br><br>
牲畜栏
发表于 2025-3-21 22:01:01
Information Sources on and Around S-Plus, by designing the certifying tools according to a logging-and-checking architecture. We describe the on-line and on-line logging-and-checking methodology, its application in the frame of an industrial project, and the ongoing logging-and-checking redesign of a state-of-the-art prover which we intend to use in future applications.
Phagocytes
发表于 2025-3-22 00:37:15
http://reply.papertrans.cn/24/2338/233717/233717_3.png
说笑
发表于 2025-3-22 04:40:41
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools by designing the certifying tools according to a logging-and-checking architecture. We describe the on-line and on-line logging-and-checking methodology, its application in the frame of an industrial project, and the ongoing logging-and-checking redesign of a state-of-the-art prover which we intend to use in future applications.
Senescent
发表于 2025-3-22 11:42:27
http://reply.papertrans.cn/24/2338/233717/233717_5.png
搏斗
发表于 2025-3-22 13:30:55
Testing and Documenting Your Model,f Java programs. In this paper, the Java security scheme is examined and current implementations are evaluated on the basis of their efficiency and flexibility. Finally, proposed enhancements and upcoming extensions to the security model are described.
搏斗
发表于 2025-3-22 18:45:48
Information Sources on and Around S-Plus,opment process. This paper defines a secure software development process to reduce the risk of manipulation and enhance the trustworthiness of critical software produced by renowned manufaturers according to high quality standards. It also explained how this process may be implemented cost efficiently.
代替
发表于 2025-3-23 00:50:52
Information Sources on and Around S-Plus,rces of weakness recommendations are derived to improve the C code also in view of software modification and maintenance, which is important because of the long life-time of I&C systems in nuclear power plants.
开花期女
发表于 2025-3-23 03:41:32
An Agenda for Specifying Software Components with Complex Data Modelsach not only provides detailed guidance to specifiers, but it is also part of a more general engineering concept for engineering safety-critical embedded systems that was developed in the ESPRESS project, a joint project of academia and industry.
摘要
发表于 2025-3-23 06:40:33
http://reply.papertrans.cn/24/2338/233717/233717_10.png