Formal semantics; Maude; Slicing; Analysis; Memory policies;
机译:语义Web数据的语义感知安全策略规范
机译:语义安全:安全驱动的协作的语义策略的规范和执行
机译:BPMN流程的资源供应策略:使用MAUDE的规范和分析
机译:Maude中语义规范的记忆策略分析
机译:用于规范和分析安全协议的游戏语义
机译:颅直流刺激对精神分裂症患者文本挖掘分析检测的语义记忆的促进作用
机译:异步Pi演算语义的可执行规范并可能在Maude 2.0中进行测试
机译:实时maude中aER / NCa主动网络协议套件的规范和分析