refraction
发表于 2025-3-23 13:45:08
http://reply.papertrans.cn/15/1500/149976/149976_11.png
小教堂
发表于 2025-3-23 15:50:00
Jörg-Martin Jehle,Marianne Wadequence, many redundant test cases are created and many aspects remain untested. One of the most important questions in testing dependable systems is: which are the right test techniques to obtain a test set that will detect critical errors in a complex system? In this paper, we provide an overview o
顽固
发表于 2025-3-23 22:06:29
https://doi.org/10.1007/978-3-540-33963-2asily meet their increases in system performance requirements through higher processor clock speeds. However, the industry is now approaching the limit of relatively simple upgrade path, and there is an increasing trend towards the adoption of multicore processor architectures in critical systems to
道学气
发表于 2025-3-24 01:49:24
http://reply.papertrans.cn/15/1500/149976/149976_14.png
Bouquet
发表于 2025-3-24 05:59:03
Chris Dale,Tom AndersonThis volume offers a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience..Includes papers in the following areas: Safety Cases; Projects, Service
deciduous
发表于 2025-3-24 10:02:47
http://reply.papertrans.cn/15/1500/149976/149976_16.png
ascend
发表于 2025-3-24 12:46:04
https://doi.org/10.1007/978-0-85729-133-2Safety Cases; Safety Standards; Safety and Healthcare; Systems Safety; Testing Safety Standards
放肆的你
发表于 2025-3-24 15:44:04
978-0-85729-132-5Springer-Verlag London Limited 2011
否认
发表于 2025-3-24 19:30:31
A New Approach to creating Clear Safety Argumentse safety argument. This structure separates the major components that have traditionally been confused within a single safety argument structure. Separation gives both arguments greater clarity of purpose, and helps avoid the introduction of superfluous arguments and evidence. In this paper we descr
archetype
发表于 2025-3-25 00:40:35
http://reply.papertrans.cn/15/1500/149976/149976_20.png