爱好 发表于 2025-3-26 20:58:10

http://reply.papertrans.cn/59/5895/589441/589441_31.png

人造 发表于 2025-3-27 03:12:47

http://reply.papertrans.cn/59/5895/589441/589441_32.png

obstinate 发表于 2025-3-27 07:27:34

http://reply.papertrans.cn/59/5895/589441/589441_33.png

conifer 发表于 2025-3-27 10:33:24

http://reply.papertrans.cn/59/5895/589441/589441_34.png

考得 发表于 2025-3-27 15:15:44

http://reply.papertrans.cn/59/5895/589441/589441_35.png

主讲人 发表于 2025-3-27 21:48:02

http://reply.papertrans.cn/59/5895/589441/589441_36.png
页: 1 2 3 [4]
查看完整版本: Titlebook: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas; 12th International S Tiziana Margaria,Bernhard S