RUN TIME (COMPUTERS); TEMPORAL LOGIC; AUTOMATA THEORY; ALGORITHMS; COMPUTER PROGRAMS; JAVA (PROGRAMMING LANGUAGE); TRANSLATING;
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:通过混合系统复制工具的线性时间逻辑规范的满意度
机译:基于监视的时间逻辑规范的运行时保证
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:线性时序逻辑的后门
机译:关于线性时间逻辑,属性规范模式和事件处理语言正式化的易于理解性