新手赚币宝典全民福利文献互助 ss/vpn 文献代理 sci-hub 兑换纪念品 google

开启辅助访问购买速递币登录快速注册找回密码切换风格

科研速递论坛»论坛 › 文献速递区 › Articles Request|文献互助 › Completed Archives for Articles|文献成功归档 › 基于不确定性分析方法的程序验证研究

查看: 121|回复: 1

上一主题

下一主题

基于不确定性分析方法的程序验证研究

318 主题	4 好友	10 积分

Rank: 4

科研币: 48
速递币: 105
娱乐币: 2200
文献值: 0
资源值: 0
贡献值: 2

发消息

电梯直达

跳转到指定楼层

楼主

发表于 2025-5-21 16:50:30 |只看该作者 |倒序浏览

5速递币

题名	基于不确定性分析方法的程序验证研究
链接	https://kns.cnki.net/kcms2/article/abstract?v=XMmmt_ij6VECH6ehvUrvykIRxggIJUBc4TnaF44jE21ymlYvTCXKSQd4Wmjgy2aLOdfEsOIKJQrdXsBwBn54NTeR_NPSxZJZn7vYyIi0gz2SHWaFfHYGkECbGgrbqI05Tqpdxz-UtvjgHHXivCTjzgjUiAMQY_SJ_lrteOPMugxb4N6vaye2FSOKotgpGx11&uniplatform=NZKPT&language=CHS

最佳答案

大山查看完整内容

基于不确定性分析方法的程序验证研究_王可.pdf: https://url70.ctfile.com/f/63179470-1506551698-708fe0?p=2496 (访问密码: 2496)

本主题由 zbgood2009 于 2025-5-25 08:33 移动

淘帖0 收藏0 顶0 踩0

回复

196 主题	27 好友	17 积分

Rank: 7 Rank: 7 Rank: 7

科研币: 52
速递币: 4099
娱乐币: 3908
文献值: 811
资源值: 16
贡献值: 3

发消息

沙发

发表于 2025-5-21 16:50:31 |只看该作者

基于不确定性分析方法的程序验证研究_王可.pdf: https://url70.ctfile.com/f/63179470-1506551698-708fe0?p=2496 (访问密码: 2496)

已有 1 人评分	文献值	收起理由
zbgood2009	+ 1

总评分: 文献值 + 1 查看全部评分

回复

举报该帖为应助帖

|Translate Forum into English|QQ群:821993|Archiver|手机版|申请友链| 科研速递论坛

GMT+8, 2025-6-15 23:18 , Processed in 0.064312 second(s), 32 queries .

© 2012-2099 www.expaper.cn

!fastreply! 回顶部 !return_list!