dynamic analysis; program comprehension; programmable logic controllers; reverse engineering; symbolic execution; test coverage;
机译:可编程逻辑控制器的形式化建模与综合
机译:建模可编程逻辑控制器以进行逻辑验证
机译:可编程逻辑控制器中主机异常检测的时间执行行为
机译:可编程逻辑控制器反应性能模型的痕量综合
机译:使用可编程逻辑控制器设计和开发用于动态负载仿真的物理模型。
机译:多种出血的自动闭环复苏:绵羊模型中的模糊逻辑和决策表控制器之间的比较
机译:基于可编程逻辑控制器中的时间行为监测的异常检测