机译:重写逻辑中的成分规范
Univ Complutense Madrid Fac Informat Madrid Spain;
compositional specification; rewriting logic; modularity; synchronous product;
机译:网络服务组成的自我修复:规范重写方法
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:一个以组织为中心的多代理系统规范的正式框架:一种基于重写逻辑的方法
机译:将自主车辆组控制系统建模为混合自动机及其在重写逻辑的规范和验证
机译:用于重写逻辑的构造语义。
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:在重写逻辑规范中验证可达性逻辑属性
机译:在具有相关类型的重写逻辑的扩展中表示msR Cryptoprotocol规范语言(预打印);会议文件