RegLang监管合约规则冲突检测方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

RegLang监管合约规则冲突检测方法

高健博, 张家硕, 李青山, 陈钟

Detection Method for Rule Conflicts in RegLang Regulatory Contracts

GAO Jianbo, ZHANG Jiashuo, LI Qingshan, CHEN Zhong

计算机工程 . 2023, (5): 12 -21,28 . DOI: 10.19678/j.issn.1000-3428.0065584