...
机译:通信过程的规范:时间逻辑与基于拒绝的改进
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK;
temporal logic; specification; refinement testing; refusals; CSP;
机译:基于时空逻辑规范的通信过程骨架综合
机译:模态和时间逻辑的规范最小化
机译:通过近似策略改进对一般Markov决策过程进行时间逻辑控制
机译:使用扩展的时间逻辑来规范和合成通信过程
机译:动态系统满足时间逻辑规范的恢复能力
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:GR(1)时态逻辑规范的反战略引导式细化
机译:从时态逻辑规范综合通信过程