Humboldt-Universitaet zu Berlin Institut fuer Informatik Unter den Linden 6, 10099 Berlin, Germany;
temporal logic; specification; verification; compositional semantics; partial order;
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:重写逻辑中的成分规范
机译:时间逻辑规范下的无功博弈组合方法
机译:动态系统满足时间逻辑规范的恢复能力
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:结合动态导论逻辑和时间逻辑来规定期限
机译:并发系统时态逻辑的组合性