security modelling; protocol engineering; CASE tools;
机译:时限安全协议规范和验证的环境
机译:RevBayes:使用图形模型和交互式模型规范语言的贝叶斯系统发生推理
机译:图形动态线性模型:规格,用途和图形转换
机译:安全协议建模的遗传图形规范环境
机译:在加速环境中测试方案,材料规格,长期耐久性分析,以及玄武岩纤维增强聚合物(BFRP)棒的预测建模
机译:RevBayes:使用图形模型和交互式模型规范语言的贝叶斯系统发生推理
机译:安全协议建模的通用图形规范环境