保证标准间协调性的形式化方法研究A Study of Formal Methods for Ensuring Inter-Criteria Harmonization
韩健秋, 王 建, 张 歌, 康逸云 下载量: 20 浏览量: 28
管理科学与工程 Vol.13 No.3, May 30 2024, PDF, HTML, XML DOI:10.12677/mse.2024.133063 被引量
基于区块链技术的全省不动产登记数据汇交可信校验模型探讨Discussion on the Provincial Real Estate Registration Data Collection and Delivery Credibility Verification Model Based on Blockchain Technology
过一凤, 冯桂林, 梁 毅, 康逸云 下载量: 228 浏览量: 626
软件工程与应用 Vol.11 No.5, October 27 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.115117 被引量