机译:通过LTL规范构造和验证PLC程序
Programmable pogic controllers; Software engineering; Specification and verification of PLC-programs;
机译:通过LTL规范构造和验证PLC程序
机译:PLC程序的建模,规范和构建
机译:基于经过验证的结构计算,由可靠的建筑产品制成的安全建筑工程
机译:从信号解释的Petri网产生的PLC程序的正式验证
机译:土坝中水力传导率的施工后验证
机译:辐射肺炎预测的构建与验证基于多个参数的模型
机译:论PLC计划的建设与验证
机译:Gilson Road危险废物场地防渗墙施工质量控制及施工后性能验证