角色自律度矩阵相关硕士博士期刊学术论文 - 搜论网

角色自律度矩阵相关论文

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法，为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件......

期刊

形式化描述角色规范-条件角色自律度矩阵角色自律分散系统角色行为原语 formal specification role norm-condition（R

看过本文同时还关注