机译:重写逻辑中的实时和混合系统规范
Rewriting logic; Maude; Real-time systems; Hybrid systems; Timed Petri nets; Real-time object-oriented systems;
机译:重写逻辑中的实时和混合系统规范
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:一个以组织为中心的多代理系统规范的正式框架:一种基于重写逻辑的方法
机译:将自主车辆组控制系统建模为混合自动机及其在重写逻辑的规范和验证
机译:使用Petri网和时间逻辑进行实时系统规范和分析。
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:重写逻辑中的实时和混合系统规范
机译:利用逻辑程序设计实时系统