EVALUATING PROBABILISTICALLY CHECKABLE PROOF IN SOFTWARE UPDATE PROCEDURES AND FUNCTIONAL CHECKS
收藏DataCite Commons2025-12-17 更新2026-05-05 收录
下载链接：
https://www.scidb.cn/detail?dataSetId=63726c2cbf30419eb836b4123db85178
下载链接
链接失效反馈官方服务：
资源简介：
IMEKO 2024 Conference Paper
提供机构：
Science Data Bank
创建时间：
2025-12-17
