使腐烂 发表于 2025-4-1 04:48:24

http://reply.papertrans.cn/24/2338/233724/233724_61.png

COMA 发表于 2025-4-1 07:32:46

A Thought Experiment on Evolution of Assurance Cases of conformance of their in-house software life cycle to a safety standard. The working hypothesis of the experiment is that assurance cases help find problems in arguments on software life cycle and improve the life cycle. Based on the result of the thought experiment, questions for further empiric
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2017 Worksh Stefano Tonetta,Erwin Schoitsch,Friedemann Bitsch Conference proceedings 2