...
机译:通过LTL规范构建和验证PLC LD程序
Programmable logic controllers; Software engineering; Specification and verification of PLC programs; Ladder Diagram;
机译:通过LTL规范构建和验证PLC LD程序
机译:通过LTL规范构建CFC程序
机译:PLC程序的建模,规范和构建
机译:LTL规范的构建与验证PLC程序
机译:规范和验证面向对象的程序。
机译:确定员工激励计划的安全检查阈值施工地点
机译:LTL规范,验证和构建pLC程序