SEDAN group, SnT, University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg;
SEDAN group, SnT, University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg;
SEDAN group, SnT, University of Luxembourg, 29 Avenue John F. Kennedy, L-1855, Luxembourg;
EECS, The University of Bradford, Richmond Road Bradford, BD7 1DP, UK;
cryptographic protocols; pattern clustering;
机译:“更智能”的标准制定和标准化工具的智能方法(Ⅲ)
机译:使用受控的自然语言和模板自动生成智能合约
机译:自动探测自动化方法,在AASHTO标准规范下提高道路安全性和STM
机译:标准化智能合同:自动推断ERC标准
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:癌症患者非标准化和年龄标准化相对生存的标准误差
机译:程序员编写的合同和自动推断合同的比较研究