Entreaty 发表于 2025-3-23 12:17:10
http://reply.papertrans.cn/24/2338/233737/233737_11.png无礼回复 发表于 2025-3-23 16:19:32
http://reply.papertrans.cn/24/2338/233737/233737_12.png止痛药 发表于 2025-3-23 18:41:09
Assessing Software Interference Management When Modifying Safety-Related Softwareto answer two questions raised by this prior work: (i) which views of the system engineers should consider when identifying interference and its management; and (ii) whether our argument pattern captures a practical way to argue about interference management.HEPA-filter 发表于 2025-3-23 22:52:08
http://reply.papertrans.cn/24/2338/233737/233737_14.pngdura-mater 发表于 2025-3-24 02:49:30
https://doi.org/10.1007/978-3-319-00921-6eterogeneous, dynamic coalitions of systems of systems. For this type of systems, it is crucial to develop sound strategies that would allow safety assurance and certification to be done compositionally.Chemotherapy 发表于 2025-3-24 08:32:53
http://reply.papertrans.cn/24/2338/233737/233737_16.png提名 发表于 2025-3-24 13:51:04
http://reply.papertrans.cn/24/2338/233737/233737_17.png荒唐 发表于 2025-3-24 17:49:00
http://reply.papertrans.cn/24/2338/233737/233737_18.png讨好女人 发表于 2025-3-24 20:14:30
http://reply.papertrans.cn/24/2338/233737/233737_19.pngantidote 发表于 2025-3-25 00:30:34
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.